Monsieur Paolo PISTONE / PhD

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