Formal neighbourhoods, combinatory Böhm trees, and untyped normalization by evaluation.

Peter Dybjer Denis Kuperberg

Published in: Ann. Pure Appl. Log. (2012)

Keyphrases

evaluation method
decision trees
real time
information retrieval
multi agent
evaluation criteria
evaluation process
artificial intelligence
case study
relational databases
formal model
evaluation methods
evaluation model
tree models