Expedited Broda-Damas bracket abstraction

DOI10.2307/2695081zbMath0977.03013OpenAlexW2039196897MaRDI QIDQ2710613

Martin W. Bunder

Publication date: 21 January 2002

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://ro.uow.edu.au/eispapers/2703

zbMATH Keywords

combinatorslambda-calculusbracket abstraction

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Cites Work

• Lambda terms definable as combinators
• Compact bracket abstraction in combinatory logic

This page was built for publication: Expedited Broda-Damas bracket abstraction