A Formalization of the Strong Normalization Proof for System F in LEGO.

Thorsten Altenkirch

Published in: TLCA (1993)

Keyphrases

preprocessing
knowledge representation
machine learning
computer vision
image processing
relational databases
special case
formal model
theorem proving
normalization method
proof planning