Bentzen, Bruno (2023) Frege's theory of types. Manuscrito. Rev. Int. Fil.,. ISSN 0100-6045

Bentzen, Bruno (2023) Propositions as intentions. Husserl Studies. pp. 1-18.

Bentzen, Bruno (2021) Naive cubical type theory. Mathematical Structures in Computer Science, 31. pp. 1205-1231.

Bentzen, Bruno (2020) On different ways of being equal. Erkenntnis, 87 (4). pp. 1809-1830. ISSN 0165-0106

Bentzen, Bruno (2020) Sense, reference, and computation. Perspectiva Filosofica, 47 (2). pp. 179-203. ISSN 2357-9986

Bentzen, Bruno (2020) What types should not be. Philosophia Mathematica, 28 (1). pp. 60-76. ISSN 0031-8019

Bentzen, Bruno (2019) Frege on Referentiality and Julius Caesar in Grundgesetze Section 10. Notre Dame Journal of Formal Logic, 60 (4). pp. 617-637.