LISP + Calculus = Identities.

Published in: Artificial and Mathematical Theory of Computation (1991)

Keyphrases

learning theory
programming language
computer algebra
john mccarthy
dependency directed backtracking
decision making
image processing
data structure
expressive power
provably correct
automated deduction
real numbers
computer programs
real time
artificial intelligence
information retrieval
databases