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 [Turn on JavaScript to see the email address]


AltStyle によって変換されたページ (->オリジナル) /