Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I

The work

AuthorsJohn McCarthy
Typearticle
Year1960
Citekeymccarthy1960recursive

Where it appeared

Published inCommunications of the ACM
PublisherAssociation for Computing Machinery
Volume3
Issue4
Pages184--195

Identifiers

DOI10.1145/367177.367199

Settled

Abstractcarried over from `abstract_absent` at the 1.0 migration

A copy is held

pdf, 214.4 kB. Not published — it may be under copyright. The facts and links here are.

How it got here

How it got hereimport via bibtex
Added2026-08-09 00:00 UTC
Approved bya person 2026-08-22 10:52 UTC

Cite it as

@article{mccarthy1960recursive,
  title        = {Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I},
  author       = {John McCarthy},
  year         = {1960},
  journal      = {Communications of the ACM},
  volume       = {3},
  number       = {4},
  pages        = {184--195},
  publisher    = {Association for Computing Machinery},
  doi          = {10.1145/367177.367199},
}

This record lives at https://refs.drheap.org/mccarthy1960recursive/ and will keep doing so.