Non-idempotent intersection types and strong normalisation.

Alexis Bernadet Stéphane Lengrand

Published in: Log. Methods Comput. Sci. (2013)

Keyphrases

digital libraries
real time
neural network
decision trees
bayesian networks
search algorithm
color images
nearest neighbor
multiple types