Login / Signup

A Modular Type-Checking Algorithm for Type Theory with Singleton Types and Proof Irrelevance.

Andreas AbelThierry CoquandMiguel Pagano
Published in: TLCA (2009)
Keyphrases
  • preprocessing
  • type checking