Isomorphism of intersection and union types.

Mario Coppo Mariangiola Dezani-Ciancaglini Ines Margaria Maddalena Zacchi

Published in: Math. Struct. Comput. Sci. (2017)

Keyphrases

database
real time
real world
three dimensional
machine learning
social networks
feature selection
high level
bayesian networks
cooperative
pattern recognition
mobile robot
graph theory