Theoretical Computer Science, Volume 294

Volume 294, Number 1/2, February 2003

Category Theory and Computer Science

Volume 294, Number 3, February 2003

Linear Logic