dblp.uni-trier.dewww.uni-trier.de

Steven Awodey

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
7EESteven Awodey, Andrej Bauer: Sheaf toposes for realizability. Arch. Math. Log. 47(5): 465-478 (2008)
2004
6EESteven 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
1EESteven Awodey, Lars Birkedal, Dana S. Scott: Local Realizability Toposes and a Modal Logic for Computability. Electr. Notes Theor. Comput. Sci. 23(1): (1999)

Coauthor Index

1Andrej Bauer [6] [7]
2Lars Birkedal [1] [4]
3Carsten Butz [3]
4Jesse Hughes [5]
5Dana S. Scott [1] [4]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)