Steve Awodey
(2017). Carnap and the invariance of logical truth. Synthese 194 (1), pp. 67-78.
(2012)., Type theory and homotopy, in P. Dybjer, S. Lindström, E. Palmgren & G. Sundholm (eds.), Epistemology versus ontology, Dordrecht, Springer, pp. 183-201.
(2011)., From sets to types, to categories, to sets, in G. Sommaruga (ed.), Foundational theories of classical and constructive mathematics, Dordrecht, Springer, pp. 113-125.
with Carus, A. W. (2007). Carnap's dream: Gödel, Wittgenstein, and logical, syntax. Synthese 159 (1), pp. 23-45.