lambda.

Published in: J. Symb. Log. (1976)

Keyphrases

lambda calculus
fixed point
neural network
knowledge base
expert systems
case based reasoning
programming language
high level
domain specific