Premonoidal Categories and a Graphical View of Programs (Jeffrey, 1998)

Last updated Oct 3, 2022