Comprehension categories and the semantics of type dependency
- 18 January 1993
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 107 (2) , 169-207
- https://doi.org/10.1016/0304-3975(93)90169-t
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Constructive natural deduction and its ‘ω-set’ interpretationMathematical Structures in Computer Science, 1991
- A category-theoretic account of program modulesMathematical Structures in Computer Science, 1991
- A compositional proof system on a category of labelled transition systemsInformation and Computation, 1990
- Alpha-conversion, conditions on variables and categorical logicStudia Logica, 1989
- A small complete categoryAnnals of Pure and Applied Logic, 1988
- On the syntax of Martin-Löf's type theoriesTheoretical Computer Science, 1987
- 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
- Aspects of topoi: Corrigenda and acknowledgementsBulletin of the Australian Mathematical Society, 1972
- Aspects of topoiBulletin of the Australian Mathematical Society, 1972