A small complete category
- 1 November 1988
- journal article
- Published by Elsevier in Annals of Pure and Applied Logic
- Vol. 40 (2) , 135-165
- https://doi.org/10.1016/0168-0072(88)90018-8
Abstract
No abstract availableThis publication has 8 references indexed in Scilit:
- A categorical approach to realizability and polymorphic typesPublished by Springer Nature ,1988
- 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
- Tripos theoryMathematical Proceedings of the Cambridge Philosophical Society, 1980
- Data Types as LatticesSIAM Journal on Computing, 1976
- Theorie der Numerierungen IMathematical Logic Quarterly, 1973
- Aspects of topoiBulletin of the Australian Mathematical Society, 1972
- On the interpretation of intuitionistic number theoryThe Journal of Symbolic Logic, 1945