| * | 2009 |
|---|
| 11 | EE | Steven Awodey,
Florian Rabe:
Kripke Semantics for Martin-Löf's Extensional Type Theory.
TLCA 2009: 249-263 |
| 2008 |
|---|
| 10 | EE | Steven Awodey,
Andrej Bauer:
Sheaf toposes for realizability.
Arch. Math. Log. 47(5): 465-478 (2008) |
| 9 | EE | Steven Awodey:
A Brief Introduction to Algebraic Set Theory.
Bulletin of Symbolic Logic 14(3): 281-298 (2008) |
| 2007 |
|---|
| 8 | EE | Steven Awodey,
Carsten Butz,
Alex Simpson,
Thomas Streicher:
Relating First-order Set Theories and Elementary Toposes.
Bulletin of Symbolic Logic 13(3): 340-358 (2007) |
| 7 | EE | Steven Awodey,
A. W. Carus:
Carnap's dream: Gödel, Wittgenstein, and Logical, Syntax.
Synthese 159(1): 23-45 (2007) |
| 2004 |
|---|
| 6 | EE | Steven Awodey,
Andrej Bauer:
Propositions as Types.
J. Log. Comput. 14(4): 447-471 (2004) |
| 2003 |
|---|
| 5 | | Steven Awodey,
Jesse Hughes:
Modal Operators and the Formal Dual of Birkhoff's Completeness Theorem.
Mathematical Structures in Computer Science 13(2): 233-258 (2003) |
| 2002 |
|---|
| 4 | | Steven Awodey,
Lars Birkedal,
Dana S. Scott:
Local Realizability Toposes and a Modal Logic for Computability.
Mathematical Structures in Computer Science 12(3): 319-334 (2002) |
| 2000 |
|---|
| 3 | | Steven Awodey,
Carsten Butz:
Topological Completeness for Higher-Order Logic.
J. Symb. Log. 65(3): 1168-1182 (2000) |
| 2 | | Steven Awodey:
Topological representation of the lambda-calculus.
Mathematical Structures in Computer Science 10(1): 81-96 (2000) |
| 1999 |
|---|
| 1 | EE | Steven Awodey,
Lars Birkedal,
Dana S. Scott:
Local Realizability Toposes and a Modal Logic for Computability.
Electr. Notes Theor. Comput. Sci. 23(1): (1999) |
