Strong Normalization for System F by HOAS on Top of FOAS.

Andrei Popescu Elsa L. Gunter Christopher J. Osborn

Published in: LICS (2010)

Keyphrases

preprocessing
decision making
neural network
website
image segmentation
high level
support vector
feature vectors
dynamic programming
information retrieval systems