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