Normalisation by Evaluation for Type Theory, in Type Theory.

Thorsten Altenkirch Ambrus Kaposi

Published in: Log. Methods Comput. Sci. (2017)

Keyphrases

real time
theoretical basis
neural network
knowledge base
general theory
data sets
information systems
decision making
preprocessing
computational model
theoretical framework
belief functions
evaluation model