Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
}