University of Cambridge > Talks.cam > Logic & Semantics for Dummies > Indexed containers and initial algebras for polynomial endofunctors

  Browse A-Z

Log in

Googledetails Microsoftdetails

🔐 Log In

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

ℹī¸ Information

Indexed containers and initial algebras for polynomial endofunctors

Download to your calendar using vCal

If you have a question about this talk, please contact Nathanael Arkor .

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.

This talk is part of the Logic & Semantics for Dummies series.

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

Finance & Accounting Seminar Series Anglia Business Solutions, Harston Mill, Harston, Cambridge, CB22 7GG Faculty of Education, 184 Hills Road, Cambridge CB2 8PQ, room GS4

Other talks

Tea and Coffee Break Group Work Decoding genomic chaos - a pancancer compendium of chromosomal instability TBC Title TBC Teams Announced
 

Š 2006-2025 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity