What is a categorical model of arrows (2008)

by R Atkey
Venue:Mathematically Structured Functional Programming