(www-formal.stanford.edu) John McCarthy
ROAM_REFS: https://www-formal.stanford.edu/jmc/
John McCarthy's Home Page
(www-formal.stanford.edu) A Basis for a Mathematical Theory of Computation ( 4-Jun-1996)
ROAM_REFS: http://www-formal.stanford.edu/jmc/basis.html
(www-formal.stanford.edu) A BASIS FOR A MATHEMATICAL THEORY OF COMPUTATION
ROAM_REFS: https://www-formal.stanford.edu/jmc/basis1/basis1.html
- 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.
(www-formal.stanford.edu) A Basis for a Mathematical Theory of Computation (basis1.pdf) mime_type_application_pdf
ROAM_REFS: http://www-formal.stanford.edu/jmc/basis1.pdf
(www-formal.stanford.edu) TOWARDS A MATHEMATICAL SCIENCE OF COMPUTATION (23-Jun-1997)
ROAM_REFS: http://www-formal.stanford.edu/jmc/towards.html
(www-formal.stanford.edu) Towards a Mathematical Science of Computation
ROAM_REFS: http://www-formal.stanford.edu/jmc/towards/towards.html