A simple model for quotient types

This publication has 7 references indexed in Scilit:

• Comprehension categories and the semantics of type dependency
  Theoretical Computer Science, 1993
• Semantics of Type Theory
  Published by Springer Nature ,1991
• The independence of Peano's fourth axiom from Martin-Löf's type theory without universes
  The Journal of Symbolic Logic, 1988
• The calculus of constructions
  Information and Computation, 1988
• Foundations of Constructive Mathematics
  Published by Springer Nature ,1985
• Constructive Analysis
  Published by Springer Nature ,1985
• Aspects of higher order categorical logic
  Published by American Mathematical Society (AMS) ,1984