University of Cambridge > Talks.cam > Logic & Semantics for Dummies > An introduction to Martin-Löf Type Theory

  Browse A-Z

Log in

Cambridge users (raven)details Other usersdetails No account?details

Information on

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

An introduction to Martin-Löf Type Theory

Add to your list(s) Download to your calendar using vCal

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

I will present an introduction to Martin-Löf (intensional) Type Theory, building up to some basic concepts from Homotopy Type Theory.

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

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

Twenty Years of Human Development: the past and the future of the Human Development Index Disaster Resilient Supply Chain Operations (DROPS) Workshop Series Engineering Department Geotechnical Research Seminars

Other talks

Cambridge Universities Election Hustings Imperial Imaginaries and the Making of Modernity (Global Imaginaries through the Ages) TBC Art speak The Unit’s first 50 years: Some science, some history and some tales Genomics of speciation and adaptation in the Lake Malawi cichlid fish radiation
 

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