D
IPARTIMENTO DI
I
NFORMATICA
Università di Torino
[an error occurred while processing this directive]
Ines MARGARIA
Associate professor
Dipartimento di Informatica
,
Università di Torino
,
Corso Svizzera 185, I-10149 Torino, Italy
Phone: +39 011 6706713
Fax: +39 011 751603
E-mail:
ines@di.unito.it
RESEARCH:
Interests
Lambda-calculus
Type theories
Functional programming
Publications
[an error occurred while processing this directive]