A Modular Type-Checking Algorithm for Type Theory with Singleton Types and Proof Irrelevance
Review article, 2009
Author
Thierry Coquand
University of Gothenburg
TLCA 2009
Subject Categories
Other Mathematics