Recursive functions of symbolic expressions and their computation by machine, Part I

Abstract

This paper in L a TEXpartly supported by ARPA (ONR) grant N00014-94-1-0775to Stanford University where John McCarthy has been since 1962. Copied with minor notationalchanges from CACM, April 1960. If you want the exact typography, look there. Currentaddress, John McCarthy, Computer Science Department, Stanford, CA 94305, (email:jmc@cs.stanford.edu), (URL: http://www-formal.stanford.edu/jmc/ )by starting with the class of expressions called S-expressions and the functionscalled...