paolo.pistone[at]uniroma3.it

paolo.pistone[at]uni-tuebingen.de

Wilhelm Schickard Institut,

Eberhard Karls Universität Tübingen,

Sand 13,
D-72076 Tübingen

I am a post-doc researcher in logic, currently in the logic group at Uni-Tübingen.

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).

*The naturality of natural deduction II, on instantiation overflow*(with Luca Tranchini and Mattia Petrolo), in preparation;*Proof nets, coends and the Yoneda isomorphism*,

Linearity/TLLA 2018, ArXiv;*Proof nets and the instantiation overflow property*, ArXiv;*On completeness and parametricity in the realizability semantics of System F*, ArXiv;*Polymorphism and the obstinate circularity of second order logic: a victims' tale*,

The Bulletin of Symbolic Logic, 24(1), pp. 1-52, 2018. Link to TBoSL;*The naturality of natural deduction I*(with Luca Tranchini and Mattia Petrolo), old version, with part of paper II

Studia Logica [Special Issue General Proof Theory], 2017. Link to SL;*On dinaturality, typability and $\beta\eta$-stable models*,

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),

Programming Languages and Systems, 12th Asian Symposium APLAS 2014, Singapore, volume 8858 of Lecture Notes in Computer Science, pp. 39-57, Springer, 2014.

*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;*Le direzioni della ricerca logica in Italia: la logica lineare e i suoi sviluppi*(with V.M. Abrusci),

in Hykel Hosni, Gabriele Lolli, Carlo Toffalori, editors, Le direzioni della ricerca logica in Italia 2, p. 1-47, Edizioni ETS, Pisa, 2018;*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.

*Modelli di calcolo (IN410)*, tutorials (2017-2018)*Logica e comunicazione*, tutorials (2017-2018)*Modelli di calcolo (IN410)*, tutorials (2016-2017)

*La Tournée de π, http://www.piday.fr/*;*The European Researcherers Night at Università Roma Tre, http://nottericerca.uniroma3.it/*, The (L)imitation game (slides);*Treizes Minutes Jeunes Chercheurs 2016*, Aristote et le branchement des idées (video, slides).