The correspondence between cut-elimination and normalization
- 30 September 1974
- journal article
- review article
- Published by Elsevier in Annals of Mathematical Logic
- Vol. 7 (1) , 1-112
- https://doi.org/10.1016/0003-4843(74)90010-2
Abstract
No abstract availableThis publication has 4 references indexed in Scilit:
- Non-extensional equalityFundamenta Mathematicae, 1974
- On barinduction of higher types for decidable predicatesAnnals of Mathematical Logic, 1973
- Induction and transfinite induction in intuitionistic systemsAnnals of Mathematical Logic, 1972
- Some applications of Gentzens second consistency proofMathematische Annalen, 1969