-E. Moggi/G. Rosolini (Eds.): Category Theory and Computer Science. Proceedings, Springer-Verlag 1997