Steven Awodey

	2012
15		Steven Awodey, Nicola Gambino, Kristina Sojakova: Inductive types in homotopy type theory CoRR abs/1201.3898: (2012)
	2011
14		Steven Awodey, Florian Rabe: Kripke Semantics for Martin-Löf's Extensional Type Theory Logical Methods in Computer Science 7(3): (2011)
	2009
13		Steven Awodey, Florian Rabe: Kripke Semantics for Martin-Löf's Extensional Type Theory. TLCA 2009: 249-263
12		Steven Awodey, Nicola Gambino, P. L. Lumsdaine, M. A. Warren: Lawvere - Tierney sheaves in Algebraic Set Theory. J. Symb. Log. 74(3): 861-890 (2009)
	2008
11		Steven Awodey, Andrej Bauer: Sheaf toposes for realizability. Arch. Math. Log. 47(5): 465-478 (2008)
10		Steven Awodey: A Brief Introduction to Algebraic Set Theory. Bulletin of Symbolic Logic 14(3): 281-298 (2008)
	2007
9		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)
8		Steven Awodey, A. W. Carus: Carnap's dream: Gödel, Wittgenstein, and Logical, Syntax. Synthese 159(1): 23-45 (2007)
	2004
7		Steven Awodey, Andrej Bauer: Propositions as Types. J. Log. Comput. 14(4): 447-471 (2004)
6		Steven Awodey, Jonas Eliasson: Ultrasheaves and Double Negation. Notre Dame Journal of Formal Logic 45(4): 235-245 (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		Steven Awodey, Lars Birkedal, Dana S. Scott: Local Realizability Toposes and a Modal Logic for Computability. Electr. Notes Theor. Comput. Sci. 23(1): 13-26 (1999)

Coauthor Index

1	Andrej Bauer	[7] [11]
2	Lars Birkedal	[1] [4]
3	Carsten Butz	[3] [9]
4	A. W. Carus	[8]
5	Jonas Eliasson	[6]
6	Nicola Gambino	[12] [15]
7	Jesse Hughes	[5]
8	P. L. Lumsdaine	[12]
9	Florian Rabe	[13] [14]
10	Dana S. Scott	[1] [4]
11	Alex K. Simpson (Alex Simpson)	[9]
12	Kristina Sojakova	[15]
13	Thomas Streicher	[9]
14	M. A. Warren	[12]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page