Journal article
Theory Morphisms in Church's Type Theory with Quotation and Evaluation
Abstract
${\rm CTT}_{\rm qe}$ is a version of Church's type theory with global
quotation and evaluation operators that is engineered to reason about the
Authors
Farmer WM
Journal
CICM, Vol. 10383, No. 1, pp. 7–162
Publication Date
March 6, 2017