A RetroSearch Logo

Home - News ( United States | United Kingdom | Italy | Germany ) - Football scores

Search Query:

Showing content from http://www-formal.stanford.edu/jmc/towards.html below:

TOWARDS A MATHEMATICAL SCIENCE OF COMPUTATION (23-Jun-1997)

TOWARDS A MATHEMATICAL SCIENCE OF COMPUTATION (23-Jun-1997) 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

RetroSearch is an open source project built by @garambo | Open a GitHub Issue

Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo

HTML: 3.2 | Encoding: UTF-8 | Version: 0.7.4