Homotopy type theory: the logic of space. Shulman, M. 2017.
Homotopy type theory: the logic of space [link]Paper  bibtex   
@misc{shulman2017homotopy,
  title        = {{Homotopy type theory: the logic of space}},
  author       = {Michael Shulman},
  year         = 2017,
  url          = {https://arxiv.org/abs/1703.03007},
  eprint       = {1703.03007},
  archiveprefix = {arXiv},
  primaryclass = {math.CT},
}

Downloads: 0