Sign in
A Modular Type-checking algorithm for Type Theory with Singleton Types and Proof Irrelevance
Andreas Abel
Thierry Coquand
Miguel Pagano
Published in:
Log. Methods Comput. Sci. (2011)
Keyphrases
</>
type checking
multi dimensional
database systems
preprocessing
knowledge discovery
tree structure