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