An abstraction algorithm for combinatory logic

DOI10.2307/2272961zbMath0331.02012OpenAlexW4234660362MaRDI QIDQ4097259

S. Kamal Abdali

Publication date: 1976

Published in: The 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)

Related Items

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