Steven Awodey

22 papers A* 1B 1C 1Journal 16Unranked 2
YearRankTypeTitle / Venue / Authors
2014 J jnl
Relating first-order set theories, toposes and categories of classes.
Ann. Pure Appl. Log.
Steven Awodey, Carsten Butz, Alex Simpson, Thomas Streicher
2013 J jnl
First-order logical duality.
Ann. Pure Appl. Log.
Steven Awodey, Henrik Forssell
2013 J jnl
Martin-Löf complexes.
Ann. Pure Appl. Log.
Steven Awodey, Pieter J. W. Hofstra, Michael A. Warren
2013 C conf
Natural Models of Homotopy Type Theory (Abstract).
WoLLIC
Steven Awodey
2012 A* conf
Inductive Types in Homotopy Type Theory.
LICS
Steven Awodey, Nicola Gambino, Kristina Sojakova
2012 J jnl
Inductive types in homotopy type theory
CoRR
Steven Awodey, Nicola Gambino, Kristina Sojakova
2012 B conf
Topological Completeness of First-Order Modal Logics.
Advances in Modal Logic
Steven Awodey, Kohei Kishida
2012 — ch.
Type Theory and Homotopy.
Epistemology versus Ontology
Steven Awodey
2011 J jnl
Kripke Semantics for Martin-Löf's Extensional Type Theory
Log. Methods Comput. Sci.
Steven Awodey, Florian Rabe
2009 — conf
Kripke Semantics for Martin-Löf's Extensional Type Theory.
TLCA
Steven Awodey, Florian Rabe
2009 J jnl
Lawvere - Tierney sheaves in Algebraic Set Theory.
J. Symb. Log.
Steven Awodey, Nicola Gambino, Peter LeFanu Lumsdaine, Michael A. Warren
2008 J jnl
A Brief Introduction to Algebraic Set Theory.
Bull. Symb. Log.
Steven Awodey
2008 J jnl
Sheaf toposes for realizability.
Arch. Math. Log.
Steven Awodey, Andrej Bauer
2007 J jnl
Carnap's dream: Gödel, Wittgenstein, and
Synth.
Steven Awodey, A. W. Carus
2007 J jnl
Relating First-order Set Theories and Elementary Toposes.
Bull. Symb. Log.
Steven Awodey, Carsten Butz, Alex Simpson, Thomas Streicher
2004 J jnl
Propositions as Types.
J. Log. Comput.
Steven Awodey, Andrej Bauer
2004 J jnl
Ultrasheaves and Double Negation.
Notre Dame J. Formal Log.
Steven Awodey, Jonas Eliasson
2003 J jnl
Modal Operators and the Formal Dual of Birkhoff's Completeness Theorem.
Math. Struct. Comput. Sci.
Steven Awodey, Jesse Hughes
2002 J jnl
Local Realizability Toposes and a Modal Logic for Computability.
Math. Struct. Comput. Sci.
Steven Awodey, Lars Birkedal, Dana S. Scott
2000 J jnl
Topological Completeness for Higher-Order Logic.
J. Symb. Log.
Steven Awodey, Carsten Butz
2000 J jnl
Topological representation of the lambda-calculus.
Math. Struct. Comput. Sci.
Steven Awodey
1999 — conf
Local Realizability Toposes and a Modal Logic for Computability.
Realizability Semantics and Applications@FLoC
Steven Awodey, Lars Birkedal, Dana S. Scott