Paolo Tranquilli
Tous
Revues
Conférences
Workshops
Manuscrits
Thèse
Exposés
Notes
The Typing Problem for Light Logics with Second Order
(2005), memoir de master, Università Roma Tre.
SN per MELL2
(2005), normalisation forte pour les réseaux de preuve de MELL (italien).
Accueil
Documents
Enseignement
Hacking
Liens