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

More information

Latest update

12/13/2018