
Search the dblp DataBase
Steven Awodey:
[Publications]
[Author Rank by year]
[Coauthors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
 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]
 Steven Awodey, Carsten Butz
Topological Completeness for HigherOrder Logic. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 2000, v:65, n:3, pp:11681182 [Journal]
 Steven Awodey, Andrej Bauer
Propositions as Types. [Citation Graph (0, 0)][DBLP] J. Log. Comput., 2004, v:14, n:4, pp:447471 [Journal]
 Steven Awodey
Topological representation of the lambdacalculus. [Citation Graph (0, 0)][DBLP] Mathematical Structures in Computer Science, 2000, v:10, n:1, pp:8196 [Journal]
 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:319334 [Journal]
 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:233258 [Journal]
Kripke Semantics for MartinLöf's Extensional Type Theory. [Citation Graph (, )][DBLP]
Sheaf toposes for realizability. [Citation Graph (, )][DBLP]
Relating Firstorder Set Theories and Elementary Toposes. [Citation Graph (, )][DBLP]
A Brief Introduction to Algebraic Set Theory. [Citation Graph (, )][DBLP]
Search in 0.003secs, Finished in 0.003secs
