PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Awodey, Steven"

Author of the publication

copydeleteadd this publication to your clipboard
Lawvere - Tierney sheaves in Algebraic Set Theory.

, , , and . J. Symb. Log., 74 (3): 861-890 (2009)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Steven Minden University of Stuttgart

Steven Presser University of Stuttgart

Steven Jöns University of Stuttgart

Steven Biele University of Stuttgart

Steven Scharr University of Stuttgart

 

Other publications of authors with the same name

Propositions as Types., and . J. Log. Comput., 14 (4): 447-471 (2004)Local Realizability Toposes and a Modal Logic for Computability., , and . Mathematical Structures in Computer Science, 12 (3): 319-334 (2002)Ultrasheaves and Double Negation., and . Notre Dame Journal of Formal Logic, 45 (4): 235-245 (2004)Relating first-order set theories, toposes and categories of classes., , , and . Ann. Pure Appl. Logic, 165 (2): 428-502 (2014)Topological representation of the lambda-calculus.. Mathematical Structures in Computer Science, 10 (1): 81-96 (2000)Kripke Semantics for Martin-Löf's Extensional Type Theory, and . Logical Methods in Computer Science, (2011)Natural Models of Homotopy Type Theory (Abstract).. WoLLIC, volume 8071 of Lecture Notes in Computer Science, page 11-12. Springer, (2013)Martin-Löf complexes., , and . Ann. Pure Appl. Logic, 164 (10): 928-956 (2013)Modal Operators and the Formal Dual of Birkhoff's Completeness Theorem., and . Mathematical Structures in Computer Science, 13 (2): 233-258 (2003)Sheaf toposes for realizability., and . Arch. Math. Log., 47 (5): 465-478 (2008)