Steven Awodey

Publication Activity (10 Years)

Years Active: 1999-2014
Publications (10 Years): 0

Top Topics

Logical Reasoning

Deductive Reasoning

Conditional Logic

Theoretical Basis

Top Venues

Ann. Pure Appl. Log.

Publications

Steven Awodey, Carsten Butz, Alex Simpson, Thomas Streicher
Relating first-order set theories, toposes and categories of classes. Ann. Pure Appl. Log. 165 (2) (2014)
Steven Awodey
Natural Models of Homotopy Type Theory (Abstract). WoLLIC (2013)
Steven Awodey, Henrik Forssell
First-order logical duality. Ann. Pure Appl. Log. 164 (3) (2013)
Steven Awodey, Pieter J. W. Hofstra, Michael A. Warren
Martin-Löf complexes. Ann. Pure Appl. Log. 164 (10) (2013)
Steven Awodey, Nicola Gambino, Kristina Sojakova
Inductive types in homotopy type theory CoRR (2012)
Steven Awodey, Nicola Gambino, Kristina Sojakova
Inductive Types in Homotopy Type Theory. LICS (2012)
Steven Awodey, Kohei Kishida
Topological Completeness of First-Order Modal Logics. Advances in Modal Logic (2012)
Steven Awodey, Florian Rabe
Kripke Semantics for Martin-Löf's Extensional Type Theory Log. Methods Comput. Sci. 7 (3) (2011)
Steven Awodey, Nicola Gambino, Peter LeFanu Lumsdaine, Michael A. Warren
Lawvere - Tierney sheaves in Algebraic Set Theory. J. Symb. Log. 74 (3) (2009)
Steven Awodey, Florian Rabe
Kripke Semantics for Martin-Löf's Extensional Type Theory. TLCA (2009)
Steven Awodey
A Brief Introduction to Algebraic Set Theory. Bull. Symb. Log. 14 (3) (2008)
Steven Awodey, Andrej Bauer
Sheaf toposes for realizability. Arch. Math. Log. 47 (5) (2008)
Steven Awodey, A. W. Carus
. Synth. 159 (1) (2007)
Steven Awodey, Carsten Butz, Alex Simpson, Thomas Streicher
Relating First-order Set Theories and Elementary Toposes. Bull. Symb. Log. 13 (3) (2007)
Steven Awodey, Andrej Bauer
Propositions as Types. J. Log. Comput. 14 (4) (2004)
Steven Awodey, Jonas Eliasson
Ultrasheaves and Double Negation. Notre Dame J. Formal Log. 45 (4) (2004)
Steven Awodey, Jesse Hughes
Modal Operators and the Formal Dual of Birkhoff's Completeness Theorem. Math. Struct. Comput. Sci. 13 (2) (2003)
Steven Awodey, Lars Birkedal, Dana S. Scott
Local Realizability Toposes and a Modal Logic for Computability. Math. Struct. Comput. Sci. 12 (3) (2002)
Steven Awodey
Topological representation of the lambda-calculus. Math. Struct. Comput. Sci. 10 (1) (2000)
Steven Awodey, Carsten Butz
Topological Completeness for Higher-Order Logic. J. Symb. Log. 65 (3) (2000)
Steven Awodey, Lars Birkedal, Dana S. Scott
Local Realizability Toposes and a Modal Logic for Computability. Electron. Notes Theor. Comput. Sci. 23 (1) (1999)