Monsieur Paolo PISTONE / PhD
PhD student in mathematical logic
Contact details
Professional contact details
, ,
Professional experience
Jobs
Research : NON
PhD
Title : Mathématiques
First registration date : 1 January 2012 / 4A
Doctoral school : Mathématiques et Informatique de Marseille
Thesis defense date : 27 March 2015
Subject : Sur les preuves et les types dans la logique du second ordre
Thesis supervisor : GIRARD JEAN-YVES
Thesis co-supervisor : ABRUSCI VITO MICHELE
Research unit : I2M - Institut de Mathématiques de Marseille
Master's degree
Title : Laurea Magistrale
July 2011 - Università Roma Tre
Publications
-
On transcendental syntax: a Kantian program for logic?
Second Pisa Colloquium in Logic, Language and Epistemology, 2014
ABRUSCI V. Michele, PISTONE Paolo
-
Logic programming and logarithmic space
Programming Languages and Systems, 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings, 2014
AUBERT Clément, BAGNOL Marc, PISTONE Paolo, SEILLER Thomas
-
Rule-following and the limits of formalization: Wittgenstein's considerations through the lens of logic
From logic to practice, Italian Studies in the Philosophy of Mathematics, 2015
PISTONE Paolo
Languages
Anglais : C2 - Courant
Français : C2 - Courant
Italien : C2 - Maternel