Tests, Games, and Martin-Lof's Meaning Explanations for Intuitionistic Type Theory
Presenter
November 30, 2012
Keywords:
- Univalent
Abstract
Tests, Games, and Martin-Lof's Meaning Explanations for Intuitionistic Type Theory