, 2018, A view from space: the foundations of mathematics, in S. Wuppuluri & F. A. Doria (eds.), The map and the territory, Dordrecht, Springer, pp. 357-375.
, 2013, 'Mathematical forms and forms of mathematics: leaving the shores of extensional mathematics', Synthese 190 (12), 2141-2164.
, 1997, Category theory and structuralism in mathematics: syntactical considerations, in E. Agazzi & G. Darvas (eds.), Philosophy of mathematics today, Dordrecht, Springer, pp. 123-136.
, 1995a, 'Category theory and the foundations of mathematics: philosophical excavations', Synthese 103 (3), 421-447.
, 1995b, If not-true and not being true are not identical, which one is false?, in M. Marion & R. S. Cohen (eds.), Québec studies in the philosophy of science, part I, Dordrecht, Springer, pp. 79-94.