Talks.cam

Indexed containers and initial algebras for polynomial endofunctors - Shaun Steenkamp (University of Cambridge)
2020-11-20 11:00 - 12:00 UTC | https://meet.google.com/jxy-edcv-wgx
A brief tour of inductive types in dependent type theory, via initial algebras for polynomial endofunctors, and back to type theory through [indexed] containers. Followed, time permitting, by generalising each of these to the indexed case.
