Normalization by evaluation for modal dependent type theory.

Jason Z. S. Hu Junyoung Jang Brigitte Pientka

Published in: J. Funct. Program. (2023)

Keyphrases

theoretical framework
general theory
empirical evaluation
theoretical basis
gold standard
modal logic
data sets
case study
information technology
expert systems
computer science
database systems
theoretical foundation
evaluation criteria
information retrieval
evaluation model
evaluation process
neural network