Electronic Notes in Theoretical Computer Science, Volume 69

Volume 69, 2002

Category Theory and Computer Science (CTCS'02), August 2002
a service of Schloss Dagstuhl - Leibniz Center for Informatics