Normalization by Evaluation for Martin-Lof Type Theory with Typed Equality Judgements.

Andreas Abel Thierry Coquand Peter Dybjer

Published in: LICS (2007)

Keyphrases

outlier detection
theoretical framework
database
computational model
general theory
evaluation methods
higher order
high dimensional
digital images
knowledge discovery
preprocessing
artificial intelligence
gold standard
belief functions
data mining
theoretical basis
evaluation model
databases