Curienのストリング図
- Category theory: a programming language-oriented introduction
- Pierre-Louis Curien
- October 19, 2008
- http://www.pps.univ-paris-diderot.fr/~mellies/mpri/mpri-ens/articles/curien-category-theory.pdf
- The Joy of String Diagrams
- Pierre-Louis Curien
- May 14, 2012
- http://hal.archives-ouvertes.fr/docs/00/69/71/15/PDF/csl-2008.pdf