6. Category Theory and Computer Science 1995: Cambridge, UK