TY  - RPRT
TI  - Calculational HoTT
AU  - Ernesto Acosta
AU  - Bernarda Aldana
AU  - Jaime Bohorquez
PY  - 2019
UR  - https://arxiv.org/abs/1901.08883
ID  - 1901.08883
ER  -