Steve Awodey

Publication Activity (10 Years)

Years Active: 2008-2018
Publications (10 Years): 8

Top Topics

Mathematical Framework

Dempster Shafer

Quantifier Free

Top Venues

Math. Struct. Comput. Sci.

ACM SIGLOG News

Publications

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)