Barendregt's problem \#26 and combinatory strong reduction

DOI10.1007/978-3-031-08740-0_26OpenAlexW4285180909MaRDI QIDQ2104281

William R. Stirton

Publication date: 7 December 2022

Full work available at URL: https://doi.org/10.1007/978-3-031-08740-0_26

zbMATH Keywords

strong normalizationGödel's koansimply typed combinatory logic

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites Work

• Combinatory logic. Vol. II
• Axioms for strong reduction in combinatory logic
• Unnamed Item
• Unnamed Item

This page was built for publication: Barendregt's problem \#26 and combinatory strong reduction