A modular type-checking algorithm for type theory with singleton types
Journal article, 2011

Author

Miguel Pagano

Andreas Abel

Thierry Coquand

University of Gothenburg

Logical Methods in Computer Science

Vol. 7

Subject Categories

Other Mathematics

More information

Created

10/10/2017