Characterizing Convergent Terms in Object Calculi via Intersection Types.

Published in: TLCA (2001)

Keyphrases

d objects
co occurrence
complex objects
database
object model
multiscale
spatial relations
data sets
website
three dimensional
database systems
viewpoint
data model
object segmentation