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

John McCarthy. Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I. Communications of the ACM, 3(4):184-195, 1960. [doi]

Abstract

Abstract is missing.