2. Category Theory and Computer Science 1987: Edinburgh, UK

maintained by Schloss Dagstuhl LZI at University of Trier