A Proof-Theoretic Account of Programming and the Role of Reduction Rules
- 1 December 1988
- journal article
- Published by Verein philosophie.ch in Dialectica
- Vol. 42 (4) , 265-282
- https://doi.org/10.1111/j.1746-8361.1988.tb00919.x
Abstract
No abstract availableThis publication has 11 references indexed in Scilit:
- Category theory and programming language semantics: An overviewPublished by Springer Nature ,1986
- Proof Theory and MeaningPublished by Springer Nature ,1986
- Handbook of Philosophical LogicPublished by Springer Nature ,1986
- A natural extension of natural deductionThe Journal of Symbolic Logic, 1984
- Frege Structures and the Notions of Proposition, Truth and SetStudies in Logic and the Foundations of Mathematics, 1980
- Proofs and the Meaning and Completeness of the Logical ConstantsPublished by Springer Nature ,1979
- Essays on Mathematical and Philosophical LogicPublished by Springer Nature ,1979
- Ideas and Results in Proof TheoryPublished by Elsevier ,1971
- Einführung in die Operative Logik und MathematikPublished by Springer Nature ,1955
- Untersuchungen ber das logische Schlie en. IMathematische Zeitschrift, 1935