Theory Morphisms in Church's Type Theory with Quotation and Evaluation.

William M. Farmer

Published in: CoRR (2017)

Keyphrases

theoretical framework
theoretical basis
computational model
database
genetic algorithm
multimedia
relational databases
special case
theoretical foundation
evaluation criteria
formal theory