The Simply-typed Pure Pattern Type System Ensures Strong Normalization.

Published in: IFIP TCS (2004)

Keyphrases

pattern matching
higher order
information systems
high level
databases
information retrieval
genetic algorithm
data sets
image processing
normalization method
pattern recognition
preprocessing
fixed order
user interface
search algorithm
database systems
learning algorithm