Skip to main content

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