TY  - RPRT
TI  - Introduction to Homotopy Type Theory
AU  - Egbert Rijke
PY  - 2022
UR  - https://arxiv.org/abs/2212.11082
ID  - 2212.11082
ER  -