A simple model for quotient types
- 1 January 1995
- book chapter
- Published by Springer Science and Business Media LLC
- p. 216-234
- https://doi.org/10.1007/bfb0014055
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Comprehension categories and the semantics of type dependencyTheoretical Computer Science, 1993
- Semantics of Type TheoryPublished by Springer Science and Business Media LLC ,1991
- The independence of Peano's fourth axiom from Martin-Löf's type theory without universesThe Journal of Symbolic Logic, 1988
- The calculus of constructionsInformation and Computation, 1988
- Foundations of Constructive MathematicsPublished by Springer Science and Business Media LLC ,1985
- Constructive AnalysisPublished by Springer Science and Business Media LLC ,1985
- Aspects of higher order categorical logicContemporary Mathematics, 1984