Reducibility Proofs in the λ-Calculus

DOI10.3233/FI-2012-773zbMath1277.03012OpenAlexW1548324986MaRDI QIDQ4903716

Fairouz Kamareddine, J. B. Wells, Vincent Rahli

Publication date: 24 January 2013

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/fi-2012-773

zbMATH Keywords

reducibilitytyped lambda-calculuslambda-calculusChurch-Rosser property

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Related Items (1)

Simplified Reducibility Proofs of Church-Rosser for β- and βη-reduction

This page was built for publication: Reducibility Proofs in the λ-Calculus