The Strength of the Subset Type in Martin-Löf's Type Theory

Anne Salvesen Jan M. Smith

Published in: LICS (1988)

Keyphrases

data sets
evolutionary algorithm
information retrieval
image processing
image sequences
cooperative
digital libraries
preprocessing
artificial neural networks
user interface
probabilistic model
theoretical framework