An abstraction algorithm for combinatory logic
From MaRDI portal
Publication:4097259
DOI10.2307/2272961zbMath0331.02012MaRDI QIDQ4097259
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
03B40: Combinatory logic and lambda calculus
Related Items
Translation of Turner combinators in O(n log n) space, 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