3. Category Theory and Computer Science 1989: Manchester, UK