An Abstraction Algorithm for Combinatory Logic

• 1 March 1976
• journal article
• Published by Cambridge University Press (CUP) in The Journal of Symbolic Logic
• Vol. 41  (1) , 222
• https://doi.org/10.2307/2272961

Abstract

Keywords

• ABSTRACTION ALGORITHM FOR COMBINATORY LOGIC