Tests, Games, and Martin-Lof's Meaning Explanations for Intuitionistic Type Theory Date November 30, 2012 Speakers Peter Dybjer School of Mathematics Univalent