Local Realizability Toposes and a Modal Logic for Computability. - Steven Awodey; Lars Birkedal; Dana S. Scott (Realizability Semantics and Applications@FLoC, 1999)

Topological Completeness for Higher-Order Logic. - Steven Awodey; Carsten Butz (J. Symb. Log., 2000)

Topological representation of the lambda-calculus. - Steven Awodey (Math. Struct. Comput. Sci., 2000)

Modal Operators and the Formal Dual of Birkhoff's Completeness Theorem. - Steven Awodey; Jesse Hughes (Math. Struct. Comput. Sci., 2003)

Propositions as Types. - Steven Awodey; Andrej Bauer (J. Log. Comput., 2004)

Ultrasheaves and Double Negation. - Steven Awodey; Jonas Eliasson (Notre Dame J. Formal Log., 2004)

Relating First-order Set Theories and Elementary Toposes. - Steven Awodey; Carsten Butz; Alex Simpson; Thomas Streicher (Bull. Symb. Log., 2007)

Carnap's dream: Gödel, Wittgenstein, and Logical, Syntax. - Steven Awodey; A. W. Carus (Synth., 2007)

Sheaf toposes for realizability. - Steven Awodey; Andrej Bauer (Arch. Math. Log., 2008)

A Brief Introduction to Algebraic Set Theory. - Steven Awodey (Bull. Symb. Log., 2008)

Topology and Modality: the Topological Interpretation of First-order Modal Logic. - Steve Awodey; Kohei Kishida (Rev. Symb. Log., 2008)

Lawvere - Tierney sheaves in Algebraic Set Theory. - Steven Awodey; Nicola Gambino; Peter LeFanu Lumsdaine; Michael A. Warren (J. Symb. Log., 2009)

Kripke Semantics for Martin-Löf's Extensional Type Theory - Steven Awodey; Florian Rabe 001 (Log. Methods Comput. Sci., 2011)

Topological Completeness of First-Order Modal Logics. - Steven Awodey; Kohei Kishida (Advances in Modal Logic, 2012)

Inductive Types in Homotopy Type Theory. - Steven Awodey; Nicola Gambino; Kristina Sojakova (LICS, 2012)

Type Theory and Homotopy. - Steven Awodey (Epistemology versus Ontology, 2012)

Scheme representation for first-order logic. - Steve Awodey; Spencer Breiner (TACL, 2013)

General Topos Semantics for Higher-Order Modal Logic. - Steve Awodey; Kohei Kishida; Hans-Christoph Kotzsch (TACL, 2013)

Natural Models of Homotopy Type Theory (Abstract). - Steven Awodey (WoLLIC, 2013)

First-order logical duality. - Steven Awodey; Henrik Forssell (Ann. Pure Appl. Log., 2013)

Martin-Löf complexes. - Steven Awodey; Pieter J. W. Hofstra; Michael A. Warren (Ann. Pure Appl. Log., 2013)

Relating first-order set theories, toposes and categories of classes. - Steven Awodey; Carsten Butz; Alex Simpson; Thomas Streicher (Ann. Pure Appl. Log., 2014)

Homotopy Type Theory. - Steve Awodey (ICLA, 2015)

Introduction - from type theory and homotopy theory to univalent foundations. - Steve Awodey; Nicola Gambino; Erik Palmgren (Math. Struct. Comput. Sci., 2015)

Homotopy type theory: unified foundations of mathematics and computation. - Steve Awodey; Robert Harper 001 (ACM SIGLOG News, 2015)

Carnap and the invariance of logical truth. - Steve Awodey (Synth., 2017)

Impredicative Encodings of (Higher) Inductive Types. - Steve Awodey; Jonas Frey; Sam Speight (LICS, 2018)

A cubical model of homotopy type theory. - Steve Awodey (Ann. Pure Appl. Log., 2018)

Natural models of homotopy type theory. - Steve Awodey (Math. Struct. Comput. Sci., 2018)

The equivariant model structure on cartesian cubical sets. - Steve Awodey; Evan Cavallo; Thierry Coquand; Emily Riehl; Christian Sattler (CoRR, 2024)

On Hofmann-Streicher universes. - Steve Awodey (Math. Struct. Comput. Sci., 2024)