video lecture Invariance Under Isomorphism and Definability December 13, 2012 Per Martin-Löf Read More
video lecture Tests, Games, and Martin-Lof's Meaning Explanations for Intuitionistic Type Theory November 30, 2012 Peter Dybjer Read More
video lecture Kan Simplicial Set Model of Type Theory October 25, 2012 Peter LeFanu Lumsdaine Read More
