Steve Awodey

Type theory and homotopy

2012

in: Epistemology versus ontology, Dordrecht : Springer

Open Access Link
From sets to types, to categories, to sets

2011

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

Open Access Link