next up previous
Next: Introduction

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 17:18:52 PDT 1996