Similar Items: A modular construction of type theories
- A Modular Type-checking algorithm for Type Theory with Singleton Types and Proof Irrelevance
- Internalising modified realisability in constructive type theory
- Constructing categories and setoids of setoids in type theory
- An Analysis of Tennenbaum's Theorem in Constructive Type Theory
- Modular session types for objects
- Normalisation by Evaluation for Type Theory, in Type Theory