Categories for computation in context and unified logic (1997)

by R F Blute, R J B Cockett, R A G Seely
Venue:J. of Pure Applied Algebra