, 2020, 'Expressing "the structure of" in homotopy type theory', Synthese 197 (2), 681-700.
with Krömer, R. , 2014, 'The form and function of duality in modern mathematics', Philosophia Scientiae 18 (3), 95-109.
, 2002a, Argumentation and the mathematical process, in G. Kampis, L. Kvasz & M. Stöltzner (eds.), Appraising Lakatos, Dordrecht, Springer, pp. 115-138.