TY  - RPRT
TI  - Frameworks for Reasoning about Syntax that Utilize Quotation and Evaluation
AU  - William M. Farmer
AU  - Pouya Larjani
PY  - 2014
UR  - https://arxiv.org/abs/1308.2149
ID  - 1308.2149
ER  -