Completeness of Type Assignment Systems with Intersection, Union, and Type Quantifiers.

Hirofumi Yokouchi

Published in: LICS (1998)

Keyphrases

building blocks
computer vision
decision making
image processing
learning environment
relational databases
special case
management system
distributed systems
intelligent systems
type checking