BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Indexed containers and initial algebras for polynomial endofunctor
 s - Shaun Steenkamp (University of Cambridge)
DTSTART:20201120T110000Z
DTEND:20201120T120000Z
UID:TALK153499@talks.cam.ac.uk
CONTACT:Nathanael Arkor
DESCRIPTION:A brief tour of inductive types in dependent type theory\, via
  initial algebras for polynomial endofunctors\, and back to type theory th
 rough [indexed] containers. Followed\, time permitting\, by generalising e
 ach of these to the indexed case.
LOCATION:https://meet.google.com/jxy-edcv-wgx
END:VEVENT
END:VCALENDAR