Categories for computation in context and unified logic (1997)

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