TY  - RPRT
TI  - Homotopy Type Theory: A synthetic approach to higher equalities
AU  - Michael Shulman
PY  - 2016
UR  - https://arxiv.org/abs/1601.05035
ID  - 1601.05035
ER  -