D
IPARTIMENTO DI
I
NFORMATICA
Università di Torino
[an error occurred while processing this directive]
Ivano SALVO
Short Term Researcher
Dipartimento di Informatica
,
Università di Torino
,
Corso Svizzera 185, I-10149 Torino, Italy
Phone: +39 011 670 67 96
Fax: +39 011 751603
E-mail:
salvo@di.unito.it
Founder Member and Treasurer (1998-2000) of the Italian PhD Association
ADI
RESEARCH:
Interests
Ambient Calculus and Formal Methods for Wide Area Network
Type Theory
Lambda Calculus and Rewriting Systems
Object Oriented Languages
Publications
[an error occurred while processing this directive]