On Subtyping in Type Theories with Canonical Objects.

Georgiana E. Lungu Zhaohui Luo

Published in: TYPES (2016)

Keyphrases

individual objects
invariant representations
multi object
three dimensional
moving objects
d objects
digital objects
object classes
real world objects
object models
complex scenes
bounding box
database
theoretical framework
multimedia
computer vision
social networks
databases