TY  - RPRT
TI  - Towards Visual Type Theory as a Mathematical Tool and Mathematical User Interface
AU  - Lucius Schoenbaum
PY  - 2016
UR  - https://arxiv.org/abs/1608.03026
ID  - 1608.03026
ER  -