Incorporating Quotation and Evaluation Into Church's Type Theory.

William M. Farmer

Published in: CoRR (2016)

Keyphrases

theoretical basis
theoretical framework
real time
empirical evaluation
theoretical foundation
evaluation method
evaluation model
databases
case study
special case
gold standard
comparative evaluation
xml retrieval
general theory
formal theory