Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Steve Awodey
Homotopy-Initial Algebras in Type Theory
Journal of the ACM
Control
Systems Engineering
Information Systems
Hardware
Architecture
Artificial Intelligence
Software
Kripke Semantics for Martin-Löf's Extensional Type Theory
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Type Theory and Homotopy
Relating First-Order Set Theories and Elementary Toposes
Bulletin of Symbolic Logic
Philosophy
Logic
In Memoriam: Saunders Mac Lane 1909–2005
Bulletin of Symbolic Logic
Philosophy
Logic