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

Date

Speakers

Peter Dybjer