TY  - RPRT
TI  - Learners' Languages
AU  - David I. Spivak
PY  - 2025
DO  - 10.4204/eptcs.372.2
UR  - https://arxiv.org/abs/2103.01189
ID  - 2103.01189
ER  -