A cut-elimination theorem
- 1 January 1972
- book chapter
- Published by Springer Nature
- p. 196-213
- https://doi.org/10.1007/bfb0059559
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Coherence in closed categoriesJournal of Pure and Applied Algebra, 1971
- Deductive systems and categoriesTheory of Computing Systems, 1968
- Untersuchungen ber das logische Schlie en. IMathematische Zeitschrift, 1935