Login / Signup
A Modular Type-Checking Algorithm for Type Theory with Singleton Types and Proof Irrelevance.
Andreas Abel
Thierry Coquand
Miguel Pagano
Published in:
TLCA (2009)
Keyphrases
</>
preprocessing
type checking