Tripos theory
- 1 September 1980
- journal article
- Published by Cambridge University Press (CUP) in Mathematical Proceedings of the Cambridge Philosophical Society
- Vol. 88 (2), 205-232
- https://doi.org/10.1017/s0305004100057534
Abstract
No abstract availableThis publication has 3 references indexed in Scilit:
- Sheaves and logicPublished by Springer Nature ,1979
- Logical categories, semantical categories and topoiPublished by Springer Nature ,1975
- Adjointness in FoundationsDialectica, 1969