Categorical semantics for arrows
Bart Jacobs‚ Chris Heunen and Ichiro Hasuo
Journal
Journal of Functional Programming
Number
3−4
Pages
403−438
Publisher
Cambridge University Press
Volume
19
Year
2009
Bart Jacobs‚ Chris Heunen and Ichiro Hasuo