On isomorphisms of intersection types.

Mariangiola Dezani-Ciancaglini Roberto Di Cosmo Elio Giovannetti Makoto Tatsuta

Published in: ACM Trans. Comput. Log. (2010)

Keyphrases

data sets
decision trees
special case
database
decision making
web services
object recognition