Steve Awodey
Carnap and the invariance of logical truth
2017
Synthese 194/1
Type theory and homotopy
2012
in: Epistemology versus ontology, Dordrecht : Springer
From sets to types, to categories, to sets
2011
in: Foundational theories of classical and constructive mathematics, Dordrecht : Springer