Premonoidal categories and notions of computation (1995)

by Draft