%0 Journal Article %1 ladyman2016identity2 %A Ladyman, James %A Presnell, Stuart %D 2016 %I Oxford University Press %J Philosophia Mathematica %K citedby:scholar:count:2 citedby:scholar:timestamp:2018-9-20 hott %N 2 %P 210--245 %T Identity in Homotopy Type Theory: Part II, The Conceptual and Philosophical Status of Identity in HoTT %V 25

@article{ladyman2016identity2, added-at = {2018-09-20T10:17:36.000+0200}, author = {Ladyman, James and Presnell, Stuart}, biburl = {https://www.bibsonomy.org/bibtex/22fd9493bb28b55ab0ad722bea4770ac2/ert}, interhash = {c81afd4629aa50b8be657b24aa28220e}, intrahash = {2fd9493bb28b55ab0ad722bea4770ac2}, journal = {Philosophia Mathematica}, keywords = {citedby:scholar:count:2 citedby:scholar:timestamp:2018-9-20 hott}, number = 2, pages = {210--245}, publisher = {Oxford University Press}, timestamp = {2018-09-20T10:18:07.000+0200}, title = {Identity in Homotopy Type Theory: Part II, The Conceptual and Philosophical Status of Identity in HoTT}, volume = 25, year = 2016 }