A Type-Theoretical Alternative to ISWIM, CUCH, OWHY.

Published in: Theor. Comput. Sci. (1993)

Keyphrases

theoretical analysis
medical images
high level
databases
image sequences
multiscale
multi agent
multiple types
theoretical issues