A Basis For A Mathematical Theory Of Computation (1963)

by John McCarthy
Venue:Computer Programming and Formal Systems
Citations:212 - 6 self

Active Bibliography

A BASIS FOR A MATHEMATICAL THEORY OF – L. E. J. Brouwer, E. W. Beth, A. Heyting, P. Braffort, John Mccarthy - 1963
828 The Symbol Grounding Problem – Stevan Harnad - 1990
568 Term Rewriting Systems – J. W. Klop - 1992
319 The Systems Biology Markup Language (SBML): a medium for representation and exchange of biochemical network models – Michael Hucka, Andrew Finney, Herbert Sauro, Hamid Bolouri - 2003
306 Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser Theorem – N. G. De Bruijn - 1972
281 Region-Based Memory Management – Mads Tofte, Jean-Pierre Talpin - 1997
231 On the Length of Programs for Computing Finite Binary Sequences – Gregory J. Chaitin - 1966
33 Computability and recursion – Robert I. Soare - 1996
185 Introduction to lambda calculus – Hendrik Pieter Barendregt - 1988