%0 Journal Article %1 ladyman2016homotopy %A Ladyman, James %A Presnell, Stuart %D 2016 %I Oxford University Press %J The British Journal for the Philosophy of Science %K citedby:scholar:count:6 citedby:scholar:timestamp:2018-9-20 hott %N 2 %P 377--420 %T Does Homotopy Type Theory provide a foundation for mathematics? %V 69

@article{ladyman2016homotopy, added-at = {2018-09-20T09:27:23.000+0200}, author = {Ladyman, James and Presnell, Stuart}, biburl = {https://www.bibsonomy.org/bibtex/2a482a0913c3fc9bce3405d71f00bb452/ert}, interhash = {cd4baa7cabf3d8918288856f56c6bae7}, intrahash = {a482a0913c3fc9bce3405d71f00bb452}, journal = {The British Journal for the Philosophy of Science}, keywords = {citedby:scholar:count:6 citedby:scholar:timestamp:2018-9-20 hott}, number = 2, pages = {377--420}, publisher = {Oxford University Press}, timestamp = {2018-09-20T09:43:14.000+0200}, title = {Does Homotopy Type Theory provide a foundation for mathematics?}, volume = 69, year = 2016 }