Theoretical Computer Science, Volume 398

Volume 398, Numbers 1-3, May 2008

Calculi, Types and Applications: Essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi Della Rocca Contributions