artifact
active
artifact:mccarthy-j-1963-towards-a-mathematical-theory-of-computation

McCarthy, J. (1963): Towards a Mathematical Theory of Computation

Introduces a and c functions for state manipulation.

Neighborhood — ranked by edge-count

Papers (1)

paper

Concepts (1)

concept
  • John McCarthy
    authored
    Primary author proposing Elephant 2000 programming language based on speech acts and logical semantics.