scientific article
From MaRDI portal
Publication:3012539
zbMath1272.03153MaRDI QIDQ3012539
Ruy J. G. B. de Queiroz, Anjolina de Oliveira
Publication date: 6 July 2011
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Cut-elimination and normal-form theorems (03F05) Grammars and rewriting systems (68Q42) Combinatory logic and lambda calculus (03B40)
Related Items
The Functional Interpretation of Direct Computations ⋮ On reduction rules, meaning-as-use, and proof-theoretic semantics ⋮ Natural Deduction for Equality: The Missing Entity
This page was built for publication: