Homotopy type theory: the logic of space. Shulman, M. 2017. Paper bibtex @misc{shulman2017homotopy,
title = {{Homotopy type theory: the logic of space}},
author = {Michael Shulman},
year = 2017,
url = {https://arxiv.org/abs/1703.03007},
eprint = {1703.03007},
archiveprefix = {arXiv},
primaryclass = {math.CT},
}
Downloads: 0
{"_id":"4uoNWa7NFp92AqH99","bibbaseid":"shulman-homotopytypetheorythelogicofspace-2017","author_short":["Shulman, M."],"bibdata":{"bibtype":"misc","type":"misc","title":"Homotopy type theory: the logic of space","author":[{"firstnames":["Michael"],"propositions":[],"lastnames":["Shulman"],"suffixes":[]}],"year":"2017","url":"https://arxiv.org/abs/1703.03007","eprint":"1703.03007","archiveprefix":"arXiv","primaryclass":"math.CT","bibtex":"@misc{shulman2017homotopy,\n title = {{Homotopy type theory: the logic of space}},\n author = {Michael Shulman},\n year = 2017,\n url = {https://arxiv.org/abs/1703.03007},\n eprint = {1703.03007},\n archiveprefix = {arXiv},\n primaryclass = {math.CT},\n}\n\n","author_short":["Shulman, M."],"key":"shulman2017homotopy","id":"shulman2017homotopy","bibbaseid":"shulman-homotopytypetheorythelogicofspace-2017","role":"author","urls":{"Paper":"https://arxiv.org/abs/1703.03007"},"metadata":{"authorlinks":{}},"html":""},"bibtype":"misc","biburl":"https://bibbase.org/f/Gnwbc34Hkr4ELKWdc/ref.bib","dataSources":["CC7dawDvD4eaYGJSr"],"keywords":[],"search_terms":["homotopy","type","theory","logic","space","shulman"],"title":"Homotopy type theory: the logic of space","year":2017}