CTCS '99‚ Conference on Category Theory and Computer Science‚ Edinburgh (UK)‚ 10−12 September 1999
Book Title
CTCS
Editor
Martin Hofmann and Giuseppe Rosolini and Dusko Pavlovic
Publisher
Elsevier
Series
Electronic Notes in Theoretical Computer Science
Volume
29
Year
1999