Arrows, like monads, are monoids (0)

by Chris Heunen, Bart Jacobs
Venue:Theoretical Computer Science