Paolo Tranquilli
Tutti
Riviste
Conferenze
Workshops
Preprint
Tesi
Presentazioni
Note
(con
Giulio Manzonetto
)
A Calculus of Coercions Proving the Strong Normalization of MLF
(2010), workshop HOR (
Higher Order Rewriting
).
Home
Documenti
Didattica
Hacking
Links