Univalence as a principle of logic. Awodey, S. Indagationes Mathematicae, 29(6):1497–1510, Elsevier BV, December, 2018.
Paper doi bibtex @article{Awodey2018,
title = {{Univalence as a principle of logic}},
author = {Steve Awodey},
year = 2018,
month = dec,
journal = {{Indagationes Mathematicae}},
publisher = {Elsevier {BV}},
volume = 29,
number = 6,
pages = {1497--1510},
doi = {10.1016/j.indag.2018.01.011},
url = {10.1016/j.indag.2018.01.011},
}
Downloads: 0
{"_id":"5Nc8Z3uoX9QKF6AEg","bibbaseid":"awodey-univalenceasaprincipleoflogic-2018","author_short":["Awodey, S."],"bibdata":{"bibtype":"article","type":"article","title":"Univalence as a principle of logic","author":[{"firstnames":["Steve"],"propositions":[],"lastnames":["Awodey"],"suffixes":[]}],"year":"2018","month":"December","journal":"Indagationes Mathematicae","publisher":"Elsevier BV","volume":"29","number":"6","pages":"1497–1510","doi":"10.1016/j.indag.2018.01.011","url":"10.1016/j.indag.2018.01.011","bibtex":"@article{Awodey2018,\n title = {{Univalence as a principle of logic}},\n author = {Steve Awodey},\n year = 2018,\n month = dec,\n journal = {{Indagationes Mathematicae}},\n publisher = {Elsevier {BV}},\n volume = 29,\n number = 6,\n pages = {1497--1510},\n doi = {10.1016/j.indag.2018.01.011},\n url = {10.1016/j.indag.2018.01.011},\n}\n\n","author_short":["Awodey, S."],"key":"Awodey2018","id":"Awodey2018","bibbaseid":"awodey-univalenceasaprincipleoflogic-2018","role":"author","urls":{"Paper":"https://bibbase.org/f/Gnwbc34Hkr4ELKWdc/10.1016/j.indag.2018.01.011"},"metadata":{"authorlinks":{}},"html":""},"bibtype":"article","biburl":"https://bibbase.org/f/Gnwbc34Hkr4ELKWdc/ref.bib","dataSources":["CC7dawDvD4eaYGJSr"],"keywords":[],"search_terms":["univalence","principle","logic","awodey"],"title":"Univalence as a principle of logic","year":2018}