An abstraction algorithm for combinatory logic

DOI10.2307/2272961MaRDI QIDQ4097259zbMATH OpenOpenAlexFDO

Authors S. Kamal Abdali

Publication date 1976

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

Full work available at URL https://doi.org/10.2307/2272961

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Cited in

(6)

• Functional programming with combinators
• A linear space translation of functional programs to Turner combinators
• A set of combinators for abstraction in linear space
• Translation of Turner combinators in O(n log n) space
• The BC-chain method for representing combinators in linear space
• Abstraction problems in combinatory logic: A compositive approach

This page was built for publication: An abstraction algorithm for combinatory logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4097259)