TY  - RPRT
TI  - The Formalization of Syntax-Based Mathematical Algorithms Using Quotation and Evaluation
AU  - William M. Farmer
PY  - 2013
UR  - https://arxiv.org/abs/1305.6052
ID  - 1305.6052
ER  -