Normalisation by Evaluation for Dependent Types.

Thorsten Altenkirch Ambrus Kaposi

Published in: FSCD (2016)

Keyphrases

evaluation metrics
real time
real world
evaluation criteria
database
data sets
information retrieval
three dimensional
database systems
co occurrence
empirical evaluation
evaluation method
evaluation framework