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
maintained by Schloss Dagstuhl LZI at University of Trier