Normalisation by Evaluation for Type Theory, in Type Theory.

Thorsten Altenkirch Ambrus Kaposi

Published in: CoRR (2016)

Keyphrases

theoretical framework
neural network
data sets
data mining
information retrieval
decision making
multiscale
video sequences
evaluation model
formal theory