Paolo Tranquilli
Tous
Revues
Conférences
Workshops
Manuscrits
Thèse
Exposés
Notes
(avec
Giulio Manzonetto
)
A Calculus of Coercions Proving the Strong Normalization of MLF
(2010), workshop HOR (
Higher Order Rewriting
).
Accueil
Documents
Enseignement
Hacking
Liens