Electronic Notes in Theoretical Computer Science, Volume 122

Volume 122, March 2005

Proceedings of the 10th Conference on Category Theory in Computer Science (CTCS 2004)
maintained by Schloss Dagstuhl LZI at University of Trier