Decidability of Higher-Order Subtyping with Intersection Types.

Adriana B. Compagnoni

Published in: CSL (1994)

Keyphrases

higher order
high order
natural images
expert systems
low order
real world
machine learning
similarity measure
objective function
markov models