Continuous Functionals of Dependent Types and Equilogical Spaces.

Andrej Bauer Lars Birkedal

Published in: CSL (2000)

Keyphrases

multiscale
image processing
data mining
higher order
databases
information systems
special case
wireless sensor networks
medical images
discrete data