@misc{indiciae532c35e4bfe4,
  title = {On Homotopy of Walks and Spherical Maps in Homotopy Type Theory},
  author = {Jonathan Prieto-Cubides},
  year = {2021},
  doi = {10.1145/3497775.3503671},
  url = {https://arxiv.org/abs/2112.06609},
  note = {Source identifier: 2112.06609}
}