Monthly Archives: March 2014
Homotopy Type Theory should eat itself (but so far, it’s too big to swallow)
The title of this post is an homage to a well-known paper by James Chapman called Type theory should eat itself. I also considered titling the post How I spent my Christmas vacation trying to construct semisimplicial types in a … Continue reading
Posted in Foundations, Models
251 Comments
Homotopy Type Theory 