Publications
Here you should find a complete list of my publications, work in progress, and drafts.
Peer-reviewed papers
Naive cubical type theory [PDF | Link]
Mathematical Structures in Computer Science, first view, pp.1–27
doi:10.1017/S096012952200007XOn different ways of being equal [PDF | Link]
Erkenntnis, online first, pp.1–22
doi:10.1007/s10670-020-00275-8Sense, 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_25Revisiting Grundgesetze: How wrong was Frege? [Link]
Pensar o problema: Meta-Fı́sica, Matemática, Linguagem e Intenção
G. F. de Arruda Júnior and J. M. de Luna (Eds.). Porto Alegre: Ed. Fi, 2019, pp. 87–108
ISBN: 978-85-5696-712-4'Substanzbegriff und Funkionsbegriff' de Ernst Cassirer (with Fernando Raul Neto) [Link]
Investigaciones Kantianas. Homenaje a Juan Bonaccini
F. Raul Neto and H. Pringe (eds.). 1ed. Recife: Ed. UFPE, 2018, pp. 61–106
ISBN: 978-85-415-1048-6
Selected work in progress
Frege's theory of types [Preprint of early draft]
Under reviewPropositions as intentions
Under reviewBrouwer’s intuition of twoity and constructions in separable mathematics
Under reviewIntuition and construction in mathematical constructivism
Manuscript in preparationWhat is a type theory, intuitionistically?
Currently being retooled