Steve Awodey

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 9

Top Topics

Dempster Shafer

Computer Algebra

Mathematical Framework

Planning Problems

Top Venues

Math. Struct. Comput. Sci.

ACM SIGLOG News

Publications

Steve Awodey, Evan Cavallo, Thierry Coquand, Emily Riehl, Christian Sattler
The equivariant model structure on cartesian cubical sets. CoRR (2024)
Steve Awodey, Jonas Frey, Sam Speight
Impredicative Encodings of (Higher) Inductive Types. CoRR (2018)
Steve Awodey
A cubical model of homotopy type theory. Ann. Pure Appl. Log. 169 (12) (2018)
Steve Awodey
Natural models of homotopy type theory. Math. Struct. Comput. Sci. 28 (2) (2018)
Steve Awodey, Jonas Frey, Sam Speight
Impredicative Encodings of (Higher) Inductive Types. LICS (2018)
Steve Awodey
Carnap and the invariance of logical truth. Synth. 194 (1) (2017)
Steve Awodey, Robert Harper
Homotopy type theory: unified foundations of mathematics and computation. ACM SIGLOG News 2 (1) (2015)
Steve Awodey
Homotopy Type Theory. ICLA (2015)
Steve Awodey, Nicola Gambino, Erik Palmgren
Introduction - from type theory and homotopy theory to univalent foundations. Math. Struct. Comput. Sci. 25 (5) (2015)
Steve Awodey, Spencer Breiner
Scheme representation for first-order logic. TACL (2013)
Steve Awodey, Kohei Kishida, Hans-Christoph Kotzsch
General Topos Semantics for Higher-Order Modal Logic. TACL (2013)
Steve Awodey, Kohei Kishida
Topology and Modality: the Topological Interpretation of First-order Modal Logic. Rev. Symb. Log. 1 (2) (2008)