language: en

Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I

John McCarthy,
Massachusetts Institute of Technology,
Cambridge, Mass. *
April 1960

1 Introduction