**JOHN McCARTHY**

**1961-1963**

[This 1963 paper was included in *Computer Programming and
Formal Systems*, edited by P. Braffort and D. Hirshberg and
published by North-Holland. An earlier version was published
in 1961 in the *Proceedings of the Western Joint Computer
Conference.*]

- Introduction
- Formalisms For Describing Computable Functions and Related Entities
- Properties of Computable Functions
- Relation to Other Formalisms
- Conclusion: Mathematical Theory of Computation
- REFERENCES
- About this document ...

Wed May 1 17:18:52 PDT 1996