@misc{indiciaec201e2b10a7d,
  title = {From dependent type theory to higher algebraic structures},
  author = {Chaitanya Leena Subramaniam},
  year = {2021},
  url = {https://arxiv.org/abs/2110.02804},
  note = {Source identifier: 2110.02804}
}