On the interpretation of type theory in locally cartesian closed categories
- 1 January 1995
- book chapter
- Published by Springer Nature
- p. 427-441
- https://doi.org/10.1007/bfb0022273
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Some free constructions in realizability and proof theoryJournal of Pure and Applied Algebra, 1995
- Substitution up to IsomorphismFundamenta Informaticae, 1993
- Comprehension categories and the semantics of type dependencyTheoretical Computer Science, 1993
- Semantics of Type TheoryPublished by Springer Nature ,1991
- A general coherence resultJournal of Pure and Applied Algebra, 1989
- Fibered categories and the foundations of naive category theoryThe Journal of Symbolic Logic, 1985
- Locally cartesian closed categories and type theoryMathematical Proceedings of the Cambridge Philosophical Society, 1984