SProc Categorically.

J. Robin B. Cockett, David A. Spooner

Browse the full CONCUR paper archive.