CTCS '99‚ Conference on Category Theory and Computer Science‚ Edinburgh (UK)‚ 10−12 September 1999 - Hofmann, M; Rosolini, G; Pavlovic, D (CTCS, 1999)