Univalence as a principle of logic. Awodey, S. Indagationes Mathematicae, 29(6):1497–1510, Elsevier BV, December, 2018.
Univalence as a principle of logic [link]Paper  doi  bibtex   
@article{Awodey2018,
  title        = {{Univalence as a principle of logic}},
  author       = {Steve Awodey},
  year         = 2018,
  month        = dec,
  journal      = {{Indagationes Mathematicae}},
  publisher    = {Elsevier {BV}},
  volume       = 29,
  number       = 6,
  pages        = {1497--1510},
  doi          = {10.1016/j.indag.2018.01.011},
  url          = {10.1016/j.indag.2018.01.011},
}

Downloads: 0