Structural Proof Theory as Rewriting

DOI10.1007/11805618_15zbMath1151.03347OpenAlexW1715096597MaRDI QIDQ3527295

L. Pinto, José Espírito Santo, Maria João. Frade

Publication date: 25 September 2008

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11805618_15

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Grammars and rewriting systems (68Q42) Structure of proofs (03F07) Combinatory logic and lambda calculus (03B40)

Related Items (3)

Variations and interpretations of naturality in call-by-name lambda-calculi with generalized applications ⋮ A faithful and quantitative notion of distant reduction for generalized applications ⋮ The \(\lambda \)-calculus and the unity of structural proof theory

This page was built for publication: Structural Proof Theory as Rewriting