Categorical semantics for arrows (0)

by B Jacobs, C Heunen, I Hasuo
Venue:J. Funct. Progr