Similar Items: Kripke Semantics for Martin-Löf's Extensional Type Theory
- Notions of Anonymous Existence in Martin-Löf Type Theory
- Interpretation of Inaccessible Sets in Martin-Löf Type Theory with One Mahlo Universe
- Classical System of Martin-Lof's Inductive Definitions is not Equivalent to Cyclic Proofs
- Extensional and Intensional Semantics of Bounded and Unbounded Nondeterminism
- Extensional Semantics for Higher-Order Logic Programs with Negation
- Extensional and Non-extensional Functions as Processes