Finite generation and presentation problems for lambda calculus and combinatory logic

DOI10.1007/978-3-030-93100-1_20OpenAlexW4200178879MaRDI QIDQ2151418

Richard Statman

Publication date: 1 July 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-93100-1_20

Mathematics Subject Classification ID

Logic in computer science (03B70)

Cites Work

• Combinatory logic. With two sections by William Craig.
• Characterization of normal forms possessing inverse in the \(\lambda\)- \(\beta\)-\(\eta\)-calculus
• On combinatory complete sets of proper combinators
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Finite generation and presentation problems for lambda calculus and combinatory logic