Steven Awodey

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.
Awodey S, Gambino N, Palmgren E. (2015) Introduction-from type theory and homotopy theory to univalent foundations Mathematical Structures in Computer Science. 25: 1005-1009
Awodey S. (2015) Carnap and the invariance of logical truth Synthese
Awodey S. (2015) Homotopy type theory Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8923: 1-10
Awodey S. (2014) Structuralism, invariance, and Univalence Philosophia Mathematica. 22: 1-11
Awodey S, Butz C, Simpson A, et al. (2014) Relating first-order set theories, toposes and categories of classes Annals of Pure and Applied Logic. 165: 428-502
Awodey S, Pelayo A, Warren MA. (2013) Voevodsky's univalence axiom in homotopy type theory Notices of the American Mathematical Society. 60: 1164-1167
Awodey S, Hofstra P, Warren MA. (2013) Martin-Löf complexes Annals of Pure and Applied Logic. 164: 928-956
Awodey S, Forssell H. (2013) First-order logical duality Annals of Pure and Applied Logic. 164: 319-348
Awodey S, Gambino N, Sojakova K. (2012) Inductive types in homotopy type theory Proceedings of the 2012 27th Annual Acm/Ieee Symposium On Logic in Computer Science, Lics 2012. 95-104
Awodey S, Rabe F. (2011) Kripke semantics for martin-löf's extensional type theory Logical Methods in Computer Science. 7