Milly Maietti
official name:
Maria Emilia
Maietti
position:
Post-doc at the University of Padova.
Current Address:
Dipartimento di Matematica Pura ed Applicata
Universita' di Padova
via Belzoni n.7
35100 Padova -Italy
tel. + 39 049 8275970
fax + 39 049 8275892
e-mail address:
maietti@math.unipd.it
Main research interests:
- Type theory
- Categorical semantics for functional programming languages
- Constructive mathematics
- Linear Intuitionistic Logic and its semantics