Operational aspects of untyped Normalisation by Evaluation.

Klaus Aehlig Felix Joachimski

Published in: Math. Struct. Comput. Sci. (2004)

Keyphrases

comparative evaluation
search engine
evaluation framework
main aspects
real time
data sets
information retrieval
decision making
multiscale
artificial neural networks
special case
evaluation method