# 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