Steven Awodey

According to our database, Steven Awodey authored at least 33 papers between 2000 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

A Certifying Proof Assistant for Synthetic Mathematics in Lean.

Wojciech Nawrocki, Joseph Hua, Mario Carneiro, Yiming Xu, Spencer Woolfson, Shuge Rong, Sina Hazratpour, Steve Awodey

Proceedings of the 15th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2026

2025

Toward the effective 2-topos.

Steve Awodey, Jacopo Emmenegger

Math. Struct. Comput. Sci., 2025

2024

On Hofmann-Streicher universes.

Steve Awodey

Math. Struct. Comput. Sci., 2024

The equivariant model structure on cartesian cubical sets.

Steve Awodey, Evan Cavallo, Thierry Coquand, Emily Riehl, Christian Sattler

CoRR, 2024

2018

Natural models of homotopy type theory.

Steve Awodey

Math. Struct. Comput. Sci., 2018

A cubical model of homotopy type theory.

Steve Awodey

Ann. Pure Appl. Log., 2018

Impredicative Encodings of (Higher) Inductive Types.

Steve Awodey, Jonas Frey, Sam Speight

Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018

2017

Carnap and the invariance of logical truth.

Steve Awodey

Synth., 2017

2015

Homotopy type theory: unified foundations of mathematics and computation.

Steve Awodey, Robert Harper

ACM SIGLOG News, 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.

Steve Awodey

Proceedings of the Logic and Its Applications - 6th Indian Conference, 2015

2014

Relating first-order set theories, toposes and categories of classes.

Steven Awodey, Carsten Butz, Alex Simpson, Thomas Streicher

Ann. Pure Appl. Log., 2014

2013

Martin-Löf complexes.

Steven Awodey, Pieter J. W. Hofstra, Michael A. Warren

Ann. Pure Appl. Log., 2013

First-order logical duality.

Steven Awodey, Henrik Forssell

Ann. Pure Appl. Log., 2013

Natural Models of Homotopy Type Theory (Abstract).

Steven Awodey

Proceedings of the Logic, Language, Information, and Computation, 2013

General Topos Semantics for Higher-Order Modal Logic.

Steve Awodey, Kohei Kishida, Hans-Christoph Kotzsch

Proceedings of the TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic, Vanderbilt University, Nashville, Tennessee, USA, July 28, 2013

Scheme representation for first-order logic.

Steve Awodey, Spencer Breiner

Proceedings of the TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic, Vanderbilt University, Nashville, Tennessee, USA, July 28, 2013

2012

Type Theory and Homotopy.

Steven Awodey

Proceedings of the Epistemology versus Ontology, 2012

Inductive Types in Homotopy Type Theory.

Steven Awodey, Nicola Gambino, Kristina Sojakova

Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, 2012

Topological Completeness of First-Order Modal Logics.

Steven Awodey, Kohei Kishida

Proceedings of the Advances in Modal Logic 9, 2012

2009

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

Proceedings of the Typed Lambda Calculi and Applications, 9th International Conference, 2009

2008

Topology and Modality: the Topological Interpretation of First-order Modal Logic.

Steve Awodey, Kohei Kishida

Rev. Symb. Log., 2008

A Brief Introduction to Algebraic Set Theory.

Steven Awodey

Bull. Symb. Log., 2008

Sheaf toposes for realizability.

Steven Awodey, Andrej Bauer

Arch. Math. Log., 2008

2007

Carnap's dream: Gödel, Wittgenstein, and <i>Logical, Syntax</i>.

Steven Awodey, A. W. Carus

Synth., 2007

Relating First-order Set Theories and Elementary Toposes.

Steven Awodey, Carsten Butz, Alex Simpson, Thomas Streicher

Bull. Symb. Log., 2007

2004

Ultrasheaves and Double Negation.

Steven Awodey, Jonas Eliasson

Notre Dame J. Formal Log., 2004

Propositions as Types.

Steven Awodey, Andrej Bauer

J. Log. Comput., 2004

2003

Modal Operators and the Formal Dual of Birkhoff's Completeness Theorem.

Steven Awodey, Jesse Hughes

Math. Struct. Comput. Sci., 2003

2002

Local Realizability Toposes and a Modal Logic for Computability.

Steven Awodey, Lars Birkedal, Dana S. Scott

Math. Struct. Comput. Sci., 2002

2000

Topological representation of the lambda-calculus.

Steven Awodey

Math. Struct. Comput. Sci., 2000

Topological Completeness for Higher-Order Logic.

Steven Awodey, Carsten Butz

J. Symb. Log., 2000