Category theory and computer science

by David Pitt, D. H. Pitt, P. L. Curien

"The papers in this volume were presented at the fourth biennial Summer Conference on Category Theory and Computer Science, held in Paris, September3-6, 1991. Category theory continues to be an imp…