Category Theory and Computer Science, CTCS 2002, Ottawa, Canada, August 15-17, 2002

Richard Blute Peter Selinger Category Theory and Computer Science, CTCS 2002, Ottawa, Canada, August 15-17, 2002 CTCS Electronic Notes in Theoretical Computer Science 69 Elsevier 2002 https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/69/suppl/C db/journals/entcs/entcs69.html