{"_id":"FBZaZ4KQ28jjkKZjb","bibbaseid":"grayson-anintroductiontounivalentfoundationsformathematicians-2017","author_short":["Grayson, D. R."],"bibdata":{"bibtype":"misc","type":"misc","title":"An introduction to univalent foundations for mathematicians","author":[{"propositions":[],"lastnames":["Grayson"],"firstnames":["Daniel","R."],"suffixes":[]}],"year":"2017","url":"https://goo.gl/SEipU1","bibtex":"@misc{Grayson2017,\n title = {{An introduction to univalent foundations for mathematicians}},\n author = {Grayson, Daniel R.},\n year = 2017,\n url = {https://goo.gl/SEipU1},\n}\n\n","author_short":["Grayson, D. R."],"key":"Grayson2017","id":"Grayson2017","bibbaseid":"grayson-anintroductiontounivalentfoundationsformathematicians-2017","role":"author","urls":{"Paper":"https://goo.gl/SEipU1"},"metadata":{"authorlinks":{}},"html":""},"bibtype":"misc","biburl":"https://bibbase.org/f/Gnwbc34Hkr4ELKWdc/ref.bib","dataSources":["CC7dawDvD4eaYGJSr"],"keywords":[],"search_terms":["introduction","univalent","foundations","mathematicians","grayson"],"title":"An introduction to univalent foundations for mathematicians","year":2017}