Steve Awodey

15 papers A* 1B 1Journal 10Unranked 3
YearRankTypeTitle / Venue / Authors
2026 B conf
A Certifying Proof Assistant for Synthetic Mathematics in Lean.
CPP
Wojciech Nawrocki, Joseph Hua, Mario Carneiro, Yiming Xu, Spencer Woolfson, Shuge Rong, Sina Hazratpour, Steve Awodey
2025 J jnl
Toward the effective 2-topos.
Math. Struct. Comput. Sci.
Steve Awodey, Jacopo Emmenegger
2024 J jnl
On Hofmann-Streicher universes.
Math. Struct. Comput. Sci.
Steve Awodey
2024 J jnl
The equivariant model structure on cartesian cubical sets.
CoRR
Steve Awodey, Evan Cavallo, Thierry Coquand, Emily Riehl, Christian Sattler
2018 J jnl
A cubical model of homotopy type theory.
Ann. Pure Appl. Log.
Steve Awodey
2018 A* conf
Impredicative Encodings of (Higher) Inductive Types.
LICS
Steve Awodey, Jonas Frey, Sam Speight
2018 J jnl
Impredicative Encodings of (Higher) Inductive Types.
CoRR
Steve Awodey, Jonas Frey, Sam Speight
2018 J jnl
Natural models of homotopy type theory.
Math. Struct. Comput. Sci.
Steve Awodey
2017 J jnl
Carnap and the invariance of logical truth.
Synth.
Steve Awodey
2015 — conf
Homotopy Type Theory.
ICLA
Steve Awodey
2015 J jnl
Homotopy type theory: unified foundations of mathematics and computation.
ACM SIGLOG News
Steve Awodey, Robert Harper
2015 J jnl
Introduction - from type theory and homotopy theory to univalent foundations.
Math. Struct. Comput. Sci.
Steve Awodey, Nicola Gambino, Erik Palmgren
2013 — conf
General Topos Semantics for Higher-Order Modal Logic.
TACL
Steve Awodey, Kohei Kishida, Hans-Christoph Kotzsch
2013 — conf
Scheme representation for first-order logic.
TACL
Steve Awodey, Spencer Breiner
2008 J jnl
Topology and Modality: the Topological Interpretation of First-order Modal Logic.
Rev. Symb. Log.
Steve Awodey, Kohei Kishida