Normalization by Evaluation for Typed Weak lambda-Reduction.

Filippo Sestini

Published in: TYPES (2018)

Keyphrases

lambda calculus
higher order
gold standard
computer vision
empirical evaluation
database
multiresolution
evaluation model
data mining
information systems
case study
database systems
objective function
artificial neural networks
evaluation method
evaluation process