@article{jacobsheunenhasuo:arrows,
  title = "Categorical semantics for arrows",
  author = "Bart Jacobs and Chris Heunen and Ichiro Hasuo",
  year = "2009",
  journal = "Journal of Functional Programming",
  number = "3-4",
  pages = "403-438",
  publisher = "Cambridge University Press",
  volume = "19",
  doi = "10.1017/S0956796809007308",
}