Coercion completion and conservativity in coercive subtyping.

Published in: Ann. Pure Appl. Log. (2001)

Keyphrases

special case
knuth bendix
databases
image processing
image segmentation
high level
multiscale
video sequences
viewpoint
user interface
d objects
general purpose