Internal type theory

This publication has 9 references indexed in Scilit:

• Constructive Mathematics and Computer Programming
  Published by Elsevier ,2014
• Generalised algebraic theories and contextual categories
  Published by Elsevier ,2003
• Intuitionistic model constructions and normalization proofs
  Mathematical Structures in Computer Science, 1997
• Syntax and Semantics of Dependent Types
  Published by Cambridge University Press (CUP) ,1997
• On the interpretation of type theory in locally cartesian closed categories
  Published by Springer Nature ,1995
• Elimination of extensionality in Martin-Löf type theory
  Published by Springer Nature ,1994
• Substitution up to Isomorphism
  Fundamenta Informaticae, 1993
• Fibered categories and the foundations of naive category theory
  The Journal of Symbolic Logic, 1985
• Locally cartesian closed categories and type theory
  Mathematical Proceedings of the Cambridge Philosophical Society, 1984