Relating Church-Style and Curry-Style Subtyping

Adriana B. Compagnoni Healfdene Goguen

Published in: ITRS (2010)

Keyphrases

databases
artificial intelligence
search engine
image processing
image segmentation
three dimensional
image sequences
pairwise
management system
open source