Publications
Here you should find a complete list of my publications, work in progress, and drafts.
Peer-reviewed papers
Brouwer’s intuition of twoity and constructions in separable mathematics [PDF | Link]
History and Philosophy of Logic, online first, pp.1–21
doi:10.1080/01445340.2023.2210908Propositions as intentions [PDF | Link]
Husserl Studies, online first, pp.1–18
doi:10.1007/s10743-022-09323-3On different ways of being equal [PDF | Link]
Erkenntnis, 87(4), pp.1809–1830, 2022
doi:10.1007/s10670-020-00275-8Naive cubical type theory [PDF | Link]
Mathematical Structures in Computer Science, 31, pp. 1205–1231, 2021
doi:10.1017/S096012952200007XSense, reference, and computation [PDF | Link]
Perspectiva Filosofica, 47(2), pp.179–203, 2020
doi:10.51359/2357-9986.2020.248896What types should not be [PDF | Link]
Philosophia Mathematica, 28(1), pp.60–76, 2020
doi:10.1093/philmat/nkz014Frege on referentiality and Julius Caesar in Grundgesetze §10 [PDF | Link]
Notre Dame Journal of Formal Logic, 60(4), pp.617–637, 2019
doi:10.1215/00294527-2019-0022
Book chapters
A Henkin-style completeness proof for the modal logic S5 [Link | Extended version]
Logic and Argumentation: Fourth International Conference, CLAR 2021, Hangzhou, China, October 20–22
P. Baroni, C. Benzmüller, Y. N. Wáng (Eds.), pp. 459–467, 2021.
doi:10.1007/978-3-030-89391-0_25
Selected work in progress
Frege's theory of types [Preprint of early draft]
Revise and resubmitIntuition and construction in mathematical constructivism
Under reviewThe analytic and synthetic distinction in constructive semantics
Revise and resubmitThe intuitionistic interpretation of Bishop's philosophy
Under review