Intuitionist type theory and the free topos
- 31 December 1980
- journal article
- Published by Elsevier in Journal of Pure and Applied Algebra
- Vol. 19, 215-257
- https://doi.org/10.1016/0022-4049(80)90102-4
Abstract
No abstract availableThis publication has 7 references indexed in Scilit:
- From types to setsAdvances in Mathematics, 1980
- Contribution to the study of the natural number object in elementary TopoiJournal of Pure and Applied Algebra, 1980
- Functional completeness of cartesian categoriesAnnals of Mathematical Logic, 1974
- Combinator realizability of constructive finite type analysisPublished by Springer Nature ,1973
- Some properties of intuitionistic zermelo-frankel set theoryPublished by Springer Nature ,1973
- ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTESDialectica, 1958
- Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme IMonatshefte für Mathematik, 1931