Cut Elimination in a Gentzen-Style ε-Calculus Without Identity

DOI10.1002/MALQ.19770233606zbMath0381.03042OpenAlexW2068775869MaRDI QIDQ4159053

Linda Wessels

Publication date: 1977

Published in: Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19770233606

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Combinatory logic and lambda calculus (03B40)

Related Items (2)

Harmonising natural deduction ⋮ Semantics and Proof Theory of the Epsilon Calculus

This page was built for publication: Cut Elimination in a Gentzen-Style ε-Calculus Without Identity