An introduction to univalent foundations for mathematicians. Grayson, D. R. 2017.
An introduction to univalent foundations for mathematicians [link]Paper  bibtex   
@misc{Grayson2017,
  title        = {{An introduction to univalent foundations for mathematicians}},
  author       = {Grayson, Daniel R.},
  year         = 2017,
  url          = {https://goo.gl/SEipU1},
}

Downloads: 0