On Isomorphism of "Functional" Intersection and Union Types.

Mario Coppo Mariangiola Dezani-Ciancaglini Ines Margaria Maddalena Zacchi

Published in: ITRS (2014)

Keyphrases

graph theory
real time
information retrieval
e learning
case study
database systems
multiscale
wide range
functional analysis