Paolo Tranquilli
Tutti
Riviste
Conferenze
Workshops
Preprint
Tesi
Presentazioni
Note
The Typing Problem for Light Logics with Second Order
(2005), la mia tesi di laurea all'Università Roma Tre.
SN per MELL2
(2005), normalizzazione forte dei proofnet MELL al secondo ordine.
Home
Documenti
Didattica
Hacking
Links