Concepedia

Steven Awodey

SA

5

Publications

139

Citations

5

H-Index

1999

Active since

Affiliations

Carnegie Mellon University(Current)

IT University of Copenhagen

Steven Awodey is an author at Carnegie Mellon University specializing in automated reasoning, engineering, and formal methods.

Top concepts

Automated ReasoningEngineeringFormal MethodsComputer ScienceSemanticsLinguisticsFormal VerificationSyntaxLanguageLocalization

Publications per year

1999–2010

5

Publications

5

Propositions as [Types]

Steven Awodey · Journal of Logic and Computation · 2004 · 81 citations

Steven Awodey Search, Engineering, Type Theory +17

Local realizability toposes and a modal logic for computability

Steven Awodey, Lars Birkedal, Dana Scott · Mathematical Structures in Computer Science · 2002 · 21 citations · Full text

Local Realizability Toposes, Computational Logic, Engineering +14

Local Realizability Toposes and a Modal Logic for Computability

Steven Awodey, Lars Birkedal, Dana Scott · Electronic Notes in Theoretical Computer Science · 1999 · 14 citations · Full text

Local Realizability Toposes, Computational Logic, Engineering +12

Elementary axioms for local maps of toposes

Steven Awodey, Lars Birkedal · Journal of Pure and Applied Algebra · 2003 · 12 citations

Localization, Topological Property, Elementary Axioms +1

Higher categories from type theories

Steven Awodey, Peter LeFanu Lumsdaine · 2010 · 11 citations

Automated Reasoning, Higher Categories, Type Theory +8

Rows per page

1–5 of 5