Premonoidal categories and notions of computation (1997)

by J Power, E Robinson
Venue:Math. Struct. in Comput. Sci