Attività di ricerca di Salvo, Ivano

Formal methods for Wide Area Programming
Type Theory
Object--Oriented and Functional Programming