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 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
}