TY  - RPRT
TI  - Theory Morphisms in Church's Type Theory with Quotation and Evaluation
AU  - William M. Farmer
PY  - 2017
UR  - https://arxiv.org/abs/1703.02117
ID  - 1703.02117
ER  -