Assistant professor (Ricercatore) \+ \+ Department of Mathematics "Ulisse Dini" \+ University of Florence \+ Viale Morgagni, 67/A \+ 50134 Florence \+ Italy \+ \+ voice: +39 055 4237 490 \+ fax: +39 055 4222 695 \+ email: maggesi (AT) math (DOT) unifi (DOT) it
Teaching/Didattica [in italian] (Avvisi agli studenti, GCS, Server WIMS)
Hacking (and various crappy stuff)
2009-07-06: New paper Nested Abstract Syntax in Coq with André Hirschowitz. Download the code accompanying the paper: Part1a.v
