Simple Type Theory with Undefinedness, Quotation, and Evaluation.

William M. Farmer

Published in: CoRR (2014)

Keyphrases

theoretical framework
theoretical basis
databases
data mining
general theory
search engine
computational model