Strong Normalization from Weak Normalization in Typed Lambda-Calculi.

Morten Heine Sørensen

Published in: Inf. Comput. (1997)

Keyphrases

preprocessing
higher order
lambda calculus
artificial intelligence
normalization method
real world
computer vision
information systems
web pages
feature extraction
data structure