Arrows, like monads, are monoids

C. Heunen; B.P.F. Jacobs

doi:10.1016/j.entcs.2006.04.012

Arrows, like monads, are monoids

C. Heunen, B.P.F. Jacobs

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	English
Title of host publication	Proceedings 22nd Annual Conference on Mathematical Foundations of Programming Semantics (MFPS XXII, Genova, Italy, May 23-27, 2006)
Editors	S. Brookes, M. Mislove
Pages	219-236
DOIs	https://doi.org/10.1016/j.entcs.2006.04.012
Publication status	Published - 2006

Publication series

Name	Electronic Notes in Theoretical Computer Science
Volume	158
ISSN (Print)	1571-0061

Access to Document

10.1016/j.entcs.2006.04.012

Cite this

@inproceedings{8c166c81ec2a4487928cccd6c1dc6a7a,

title = "Arrows, like monads, are monoids",

author = "C. Heunen and B.P.F. Jacobs",

year = "2006",

doi = "10.1016/j.entcs.2006.04.012",

language = "English",

series = "Electronic Notes in Theoretical Computer Science",

pages = "219--236",

editor = "S. Brookes and M. Mislove",

booktitle = "Proceedings 22nd Annual Conference on Mathematical Foundations of Programming Semantics (MFPS XXII, Genova, Italy, May 23-27, 2006)",

}

Arrows, like monads, are monoids. / Heunen, C.; Jacobs, B.P.F.

Proceedings 22nd Annual Conference on Mathematical Foundations of Programming Semantics (MFPS XXII, Genova, Italy, May 23-27, 2006). ed. / S. Brookes; M. Mislove. 2006. p. 219-236 (Electronic Notes in Theoretical Computer Science; Vol. 158).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Arrows, like monads, are monoids

AU - Heunen, C.

AU - Jacobs, B.P.F.

PY - 2006

Y1 - 2006

U2 - 10.1016/j.entcs.2006.04.012

DO - 10.1016/j.entcs.2006.04.012

M3 - Conference contribution

T3 - Electronic Notes in Theoretical Computer Science

SP - 219

EP - 236

BT - Proceedings 22nd Annual Conference on Mathematical Foundations of Programming Semantics (MFPS XXII, Genova, Italy, May 23-27, 2006)

A2 - Brookes, S.

A2 - Mislove, M.

ER -