|
Andrea Asperti Department of Computer Science |
|
Managing editor of the Journal of Formalized Reasoning |
| cv |
| didattica |
| projects |
| papers |
| My POPL row |
|
|
|
|
|
|
|
|
|
|
|
|
march 2007