Arrows, like monads, are monoids (2006)

by URL http www dagstuhl de05021Materials Heunen, C Jacobs, B
Venue:Electronic Notes in Theoretical Computer Science 158