Intersection and Union Types: Syntax and Semantics

Franco Barbanera Mariangiola Dezani-Ciancaglini Ugo de'Liguoro

Published in: Inf. Comput. (1995)

Keyphrases

digital libraries
data sets
neural network
real time
data mining
learning algorithm
search engine
pattern recognition
computational complexity
lower bound
management system