Lars Birkedal: Proceedings of the 10th Conference on Category Theory in Computer Science, CTCS 2004, Copenhagen, Denmark, August 12-14, 2004. Electronic Notes in Theoretical Computer Science 122, Elsevier 2005