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

{"_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}