Higher Type Theory

Motivation

• Gershom Bazerman - Homotopy Type Theory: What’s the Big Idea

Background

• Algebraic Topology — Allen Hatcher
• Intuitionistic Type Theory — Per Martin-Löf’s

Courses

• http://www.cs.cmu.edu/~rwh/courses/hott/
• http://home.sandiego.edu/~shulman/hottminicourse2012/

Homotopy Type Theory (HoTT)

• http://homotopytypetheory.org/
• http://homotopytypetheory.org/book/
• http://homotopytypetheory.org/links/