Steve Awodey
Carnap and the invariance of logical truth![Open Access Link](images/OAlink.png)
2017
Synthese 194/1
![Open Access Link](images/OAlink.png)
Type theory and homotopy![Open Access Link](images/OAlink.png)
2012
in: Epistemology versus ontology, Dordrecht : Springer
![Open Access Link](images/OAlink.png)
From sets to types, to categories, to sets![Open Access Link](images/OAlink.png)
2011
in: Foundational theories of classical and constructive mathematics, Dordrecht : Springer
![Open Access Link](images/OAlink.png)