dblp.uni-trier.de www.uni-trier.de

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

Copyright © Sun May 17 00:25:15 2009 by Michael Ley (ley@uni-trier.de)