Recursive Functions of Symbolic Expressions and

Their Computation by Machine, Part I (original) (raw)

John McCarthy, Massachusetts Institute of Technology, Cambridge, Mass. 1

April 1960