Toward Isomorphism of Intersection and Union types.

Mario Coppo Mariangiola Dezani-Ciancaglini Ines Margaria Maddalena Zacchi

Published in: ITRS (2012)

Keyphrases

objective function
real time
data sets
real world
artificial intelligence
video sequences
preprocessing
search space