Talk page

Title:
Tests, Games, and Martin-Lof's Meaning Explanations for Intuitionistic Type Theory

Speaker:
Peter Dybjer

Link:
https://www.ias.edu/video/univalent/dybjer