%0 Journal Article %1 ladyman2015identity %A Ladyman, James %A Presnell, Stuart %D 2015 %I Oxford University Press %J Philosophia Mathematica %K hott citedby:scholar:count:9 citedby:scholar:timestamp:2018-9-20 %N 3 %P 386--406 %T Identity in homotopy type theory, part I: the justification of path induction %V 23

@article{ladyman2015identity, added-at = {2018-09-20T10:17:31.000+0200}, author = {Ladyman, James and Presnell, Stuart}, biburl = {https://www.bibsonomy.org/bibtex/296c51eb3048d47550b442ef6069c452e/ert}, interhash = {298c6b04797bd03c6d6b7ccf73f5950a}, intrahash = {96c51eb3048d47550b442ef6069c452e}, journal = {Philosophia Mathematica}, keywords = {hott citedby:scholar:count:9 citedby:scholar:timestamp:2018-9-20}, number = 3, pages = {386--406}, publisher = {Oxford University Press}, timestamp = {2018-09-20T10:17:31.000+0200}, title = {Identity in homotopy type theory, part I: the justification of path induction}, volume = 23, year = 2015 }