| |
| 2008 | ||
|---|---|---|
| 7 | EE | Steven Awodey, Andrej Bauer: Sheaf toposes for realizability. Arch. Math. Log. 47(5): 465-478 (2008) |
| 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) |
| 1 | Andrej Bauer | [6] [7] |
| 2 | Lars Birkedal | [1] [4] |
| 3 | Carsten Butz | [3] |
| 4 | Jesse Hughes | [5] |
| 5 | Dana S. Scott | [1] [4] |