CTCS '99‚ Conference on Category Theory and Computer Science‚ Edinburgh (UK)‚ 10−12 September 1999 (CTCS, 1999)

(untitled) - Hofmann, M; Rosolini, G; Pavlovic, D