An abstraction algorithm for combinatory logic

DOI10.2307/2272961zbMATH Open0331.02012OpenAlexW4234660362MaRDI QIDQ4097259FDOQ4097259

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)