Repository | Directory | Profile

Steve Awodey

Type theory and homotopy

2012

Steve Awodey

in: Epistemology versus ontology, Dordrecht : Springer

Open Access Link

From sets to types, to categories, to sets

2011

Steve Awodey

in: Foundational theories of classical and constructive mathematics, Dordrecht : Springer

Open Access Link