The „Dialectica”︁ Interpretation and Categories
- 1 January 1978
- journal article
- Published by Wiley in Mathematical Logic Quarterly
- Vol. 24 (31-36) , 553-575
- https://doi.org/10.1002/malq.19780243109
Abstract
No abstract availableThis publication has 5 references indexed in Scilit:
- Functional completeness of cartesian categoriesAnnals of Mathematical Logic, 1974
- Metamathematical Investigation of Intuitionistic Arithmetic and AnalysisPublished by Springer Nature ,1973
- CategoriesPublished by Springer Nature ,1972
- Equality in hyperdoctrines and comprehension schema as an adjoint functorProceedings of Symposia in Pure Mathematics, 1970
- ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTESDialectica, 1958