The Church-Rosser Property for beta-eta-reduction in Typed lambda-Calculi

Published in: LICS (1992)

Keyphrases

lambda calculus
higher order
fixed point
programming language
desirable properties
computer vision
information systems
video sequences
artificial neural networks
global consistency
spatial relations
rough sets
real world
association rules
decision making
artificial intelligence
machine learning
data mining