TY  - RPRT
TI  - Justifying Definitions in Mathematics---Going Beyond Lakatos
AU  - Charlotte Werndl
PY  - 2013
UR  - https://arxiv.org/abs/1310.1625
ID  - 1310.1625
ER  -