TY  - RPRT
TI  - On the Semantics of ReFLect as a Basis for a Reflective Theorem Prover
AU  - Tom Melham
AU  - Raphael Cohn
AU  - Ian Childs
PY  - 2013
UR  - https://arxiv.org/abs/1309.5742
ID  - 1309.5742
ER  -