Dipartimento di Matematica e Fisica,
Università Roma Tre,
L.go S. Leonardo Murialdo 1,
I am a post-doc researcher in logic, currently in the logic group at Università Roma Tre.
I obtained my joint PhD in Mathematics and Philosophy in 2015 from Aix-Marseille University and the University of Roma Tre, under the supervision of Jean-Yves Girard and Michele Abrusci. My PhD thesis (that you can find below) was awarded the "Prix de Thèse 2016" by Aix-Marseille University.
Here is my CV.
My research interests are in the proof-theory of second order logic (System F) and linear logic (especially proof-nets).
Parametric polymorphism, the central topic of second order proof-theory, lies at the border between mathematics,
computer science, and
philosophy. It can be considered as the mathematical counterpart of the old philosophical problem of impredicativity. Also, polymorphism is a well-known tool of many programming languages and has deep connections with category theory
(dinaturality, coherence theorems, fibrations).
Papers and pre-prints:
- The naturality of natural deduction II, on instantiation overflow (with Luca Tranchini and Mattia Petrolo), in preparation;
- Proof nets and the instantiation overflow porperty,
- On completeness and parametricity in the realizability semantics of System F,
- Polymorphism and the obstinate circularity of second order logic: a victims' tale,
accepted for publication by The Bulletin of Symbolic Logic, forthcoming, ArXiv;
- The naturality of natural deduction I (with Luca Tranchini and Mattia Petrolo), ArXiv (old version, with part of paper II)
Studia Logica [Special Issue General Proof Theory], link to SL, 2017;
- On dinaturality, typability and $\beta\eta$-stable models, PDF
2nd International Conference on Formal Structures for Computation and Deduction (FSCD 2017), Leibniz International Proceedings in Informatics (LIPIcs), vol. 84, pp. 29:1--29:17, Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany, 2017;
- Logic Programming and Logarithmic Space (with C. Aubert, M. Bagnol and T. Seiller), ArXiv
Programming Languages and Systems, 12th Asian Symposium APLAS 2014, Singapore, volume 8858 of Lecture Notes in Computer Science, pp. 39-57, Springer, 2014.
Philosophy of Logic:
- On paradoxes in normal form (with Mattia Petrolo),
TOPOI [Special Issue Inferences and Proof], link to TOPOI, 2018;
- A normal paradox (with Mattia Petrolo),
In Arazim, P. and Lávička, T., editors, The Logica Yearbook 2016, p. 173-184. College Publications, London, 2017;
- On the "no-deadlock criterion": from Herbrand's theorem to Geometry of Interaction,
New Developments in Logic and Philosophy of Science, SILFS series, College Publications, 2016;
- Rule-following and the limits of formalization: Wittgenstein's considerations through the lens of logic, preprint,
From Logic to Practice, Italian Studies in the Philosophy of Mathematics, volume 308 of Boston Studies in the Philosophy and History of Science, Springer, 2015;
- On transcendental syntax: a Kantian program for logic? (with V.M. Abrusci), preprint,
Second Pisa Colloquium in Logic, Epistemology and Philosophy of Language, ETS, Pisa, 2014;
- Dalle regole dell'argomentazione alla logica delle regole.
Rivista Italiana di Filosofia Analitica Junior, vol. 1 n. 2, pp. 25-38, 2010.
- On proofs and types in second order logic, my PhD thesis, PDF;
- L'Hotel di Hilbert e l'imbarazzo della scelta (with Fabio Pasquali),
Archimede, vol. 1/2017, Le Monnier, 2017;
- La geometria dell'interazione, un paradigma monista per la logica, PDF.
- Proof-nets, polarity and the naturality conjecture (slides),
workshop "Logical Time and Computational Time", Lyon 3 University, November 13-14, 2017;
- Polymorphism and Dinaturality from a Linear Logic Perspective (slides), 2nd Meeting of the GDRI Linear Logic (Groupe de Recherche Internationale en Logique Linéaire), Roma Tre University, October 23-24, 2017;
- Proof-nets, permutations and the meaning of second order quantifiers, Oberseminar of the "Logik und Sprachetheorie" group, Tübingen University, October 17, 2017;
- Polymorphism and Dinaturality from a Linear Logic Perspective (slides), Trends in Linear Logic and Applications (TLLA), Oxford University, September 3, 2017;
- On dinaturality, typability and $\beta\eta$-stable models (slides), Formal Structures of Computation and Deduction (FSCD), Oxford University, September 4-7, 2017;
- On propositional variables, the atomic and the parametric view (slides), workshop Beyond Logic, Chateau de Cerisy, May 22-27, 2017;
- The geometry of vicious circles, what typability in the $\lambda$-calculus tells us about paradoxes (slides), workshop "Consequence and Paradox", Tübingen University, Mars 2-3, 2017.