Degrees of Sensible Lambda Theories.

Henk Barendregt Jan A. Bergstra Jan Willem Klop Henri Volken

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

Keyphrases

fixed point
computer vision
image processing
mathematical models
cognitive psychology
lambda calculus
real time
data mining
machine learning
domain knowledge
theoretical framework
computational models
legal knowledge
intelligent design