TY  - RPRT
TI  - Chiron: A Set Theory with Types, Undefinedness, Quotation, and Evaluation
AU  - William M. Farmer
PY  - 2013
UR  - https://arxiv.org/abs/1305.6206
ID  - 1305.6206
ER  -