TOWARDS A MATHEMATICAL SCIENCE OF COMPUTATION
Towards a Mathematical Science of Computation was given at
the congress IFIP-62 and published in the proceedings of that
conference. It extends the results of
A Basis for a Mathematical Theory of Computation which was
first given in 1961.
I think this paper includes the first use of the term abstract
syntax and maybe the first occurrence of the idea.
.dvi, .pdf and
.ps versions are also available.
Up to: McCarthy home page
I welcome comments, and you can send them by clicking on