Isomorphism of "Functional" Intersection Types.

Mario Coppo Mariangiola Dezani-Ciancaglini Ines Margaria Maddalena Zacchi

Published in: TYPES (2013)

Keyphrases

neural network
machine learning
database
computer vision
real time
databases
artificial intelligence
three dimensional
data structure
microarray