Login / Signup

Recursive programs as functions in a first order theory.

Robert CartwrightJohn McCarthy
Published in: Mathematical Studies of Information Processing (1978)
Keyphrases
  • recursive programs
  • program synthesis
  • transformation rules
  • source code