Search the dblp DataBase

Publications of Author

1. Steven Awodey, Lars Birkedal, Dana S. Scott
   Local Realizability Toposes and a Modal Logic for Computability. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 1999, v:23, n:1, pp:- [Journal]
   
2. Steven Awodey, Carsten Butz
   Topological Completeness for Higher-Order Logic. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 2000, v:65, n:3, pp:1168-1182 [Journal]
   
3. Steven Awodey, Andrej Bauer
   Propositions as Types. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2004, v:14, n:4, pp:447-471 [Journal]
   
4. Steven Awodey
   Topological representation of the lambda-calculus. [Citation Graph (0, 0)][DBLP]
   Mathematical Structures in Computer Science, 2000, v:10, n:1, pp:81-96 [Journal]
   
5. Steven Awodey, Lars Birkedal, Dana S. Scott
   Local Realizability Toposes and a Modal Logic for Computability. [Citation Graph (0, 0)][DBLP]
   Mathematical Structures in Computer Science, 2002, v:12, n:3, pp:319-334 [Journal]
   
6. Steven Awodey, Jesse Hughes
   Modal Operators and the Formal Dual of Birkhoff's Completeness Theorem. [Citation Graph (0, 0)][DBLP]
   Mathematical Structures in Computer Science, 2003, v:13, n:2, pp:233-258 [Journal]
   
7. 
   Kripke Semantics for Martin-Löf's Extensional Type Theory. [Citation Graph (, )][DBLP]
   
   
8. 
   Sheaf toposes for realizability. [Citation Graph (, )][DBLP]
   
   
9. 
   Relating First-order Set Theories and Elementary Toposes. [Citation Graph (, )][DBLP]
   
   
10. 
    A Brief Introduction to Algebraic Set Theory. [Citation Graph (, )][DBLP]