TY  - RPRT
TI  - Synthetic differential geometry within homotopy type theory I
AU  - Hirokazu Nishimura
PY  - 2016
UR  - https://arxiv.org/abs/1606.06540
ID  - 1606.06540
ER  -