Judgmental subtyping systems with intersection types and modal types.

Jeongbong Seo Sungwoo Park

Published in: Acta Informatica (2013)

Keyphrases

management system
computer vision
real world
three dimensional
wide range
multi agent systems
digital libraries
expert systems
distributed systems