Electronic Notes in Theoretical Computer Science, Volume 29

Volume 29, 1999

CTCS '99 Conference on Category Theory and Computer Science
Edinburgh (UK), 10-12 September 1999
Guest Editors: Martin Hofmann, Giuseppe Rosolini and Dusko Pavlovic