Steven Awodey - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 20 from 20

2014

Relating first-order set theories, toposes and categories of classesSteven Awodey, Carsten Butz, Alex Simpson, Thomas Streicher. APAL, 165(2):428-502, 2014. [doi]

2013

Natural Models of Homotopy Type Theory (Abstract)Steven Awodey. wollic 2013: 11-12 [doi]

Martin-Löf complexesSteven Awodey, Pieter J. W. Hofstra, Michael A. Warren. APAL, 164(10):928-956, 2013. [doi]

First-order logical dualitySteven Awodey, Henrik Forssell. APAL, 164(3):319-348, 2013. [doi]

2012

Inductive Types in Homotopy Type TheorySteven Awodey, Nicola Gambino, Kristina Sojakova. lics 2012: 95-104 [doi]

Topological Completeness of First-Order Modal LogicsSteven Awodey, Kohei Kishida. aiml 2012: 1-17 [doi]

Type Theory and HomotopySteven Awodey. In Peter Dybjer, Sten Lindström, Erik Palmgren, Göran Sundholm, editors, Epistemology versus Ontology - Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf. Volume 27 of Logic, Epistemology, and the Unity of Science, pages 183-201, Springer, 2012. [doi]

2009

Kripke Semantics for Martin-LÃ¶f s Extensional Type TheorySteven Awodey, Florian Rabe. tlca 2009: 249-263 [doi]

Lawvere - Tierney sheaves in Algebraic Set TheorySteven Awodey, Nicola Gambino, P. L. Lumsdaine, Michael A. Warren. JSYML, 74(3):861-890, 2009. [doi]

2008

A Brief Introduction to Algebraic Set TheorySteven Awodey. bsl, 14(3):281-298, 2008. [doi]

Sheaf toposes for realizabilitySteven Awodey, Andrej Bauer. AML, 47(5):465-478, 2008. [doi]

2007

Relating First-order Set Theories and Elementary ToposesSteven Awodey, Carsten Butz, Alex Simpson, Thomas Streicher. bsl, 13(3):340-358, 2007. [doi]

Carnap s dream: GÃ¶del, Wittgenstein, and ::::Logical, Syntax::::Steven Awodey, A. W. Carus. synthese, 159(1):23-45, 2007. [doi]

2004

Ultrasheaves and Double NegationSteven Awodey, Jonas Eliasson. ndjfl, 45(4):235-245, 2004. [doi]

Propositions as TypesSteven Awodey, Andrej Bauer. logcom, 14(4):447-471, 2004. [doi]

2003

Modal Operators and the Formal Dual of Birkhoff s Completeness TheoremSteven Awodey, Jesse Hughes. mscs, 13(2):233-258, 2003.

2002

Local Realizability Toposes and a Modal Logic for ComputabilitySteven Awodey, Lars Birkedal, Dana S. Scott. mscs, 12(3):319-334, 2002.

2000

Topological Completeness for Higher-Order LogicSteven Awodey, Carsten Butz. JSYML, 65(3):1168-1182, 2000.

Topological representation of the lambda-calculusSteven Awodey. mscs, 10(1):81-96, 2000.

1999

Local Realizability Toposes and a Modal Logic for ComputabilitySteven Awodey, Lars Birkedal, Dana S. Scott. ENTCS, 23(1):13-26, 1999. [doi]

Sign in or sign up to see more results.

runs on WebDSL