A Formalization of Abstraction in LAMBDA.

Anthony McIsaac

Published in: HUG (1993)

Keyphrases

high level
real time
formal model
knowledge representation
lambda calculus
neural network
information technology
data abstraction
low level
special case
decision theoretic planning
state abstraction
fixed point
user interface
digital libraries
similarity measure
data sets