Munich Center for Mathematical Philosophy (MCMP)
print


Breadcrumb Navigation


Content

Homotopy Type Theory

All sessions take place at Ludwigstraße 31, Room 225.

  • 04.06.12  16:15 - 17:45
    Introduction to Homotopy Type Theory
    Speaker: Steve Awodey
  • 11.06.12  16:15 - 17:45
    The Structural Identity Principle and the Univalence Axiom
    Speaker: Peter Aczel
  • 25.06.12  16:15 - 17:45
    Higher Inductive Types
    Speaker: Steve Awodey

 

Background reading for the seminar: