Functionality in Combinatory Logic Curry, H. B. Abstract Publication: Proceedings of the National Academy of Science Pub Date: November 1934 DOI: 10.1073/pnas.20.11.584 Bibcode: 1934PNAS...20..584C