Reduction in X does not agree with Intersection and Union Types (Extended abstract)

Steffen van Bakel

Published in: CoRR (2011)

Keyphrases

extended abstract
real world
machine learning
information systems
three dimensional
multi agent
computer vision
multimedia
data structure
reduction method