, 2017, 'Carnap and the invariance of logical truth', Synthese 194 (1), 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. , 2007a, 'Carnap's dream: Gödel, Wittgenstein, and logical, syntax', Synthese 159 (1), 23-45.