A BASIS FOR A MATHEMATICAL THEORY OF COMPUTATION

JOHN McCARTHY

1961-1963

[This 1963 paper was included in Computer Programming and Formal Systems, edited by P. Braffort and D. Hirshberg and published by North-Holland. An earlier version was published in 1961 in the Proceedings of the Western Joint Computer Conference.]





John McCarthy

Wed May 1 20:03:21 PDT 1996