集
- ベントン/ハイランド : "TRACED PREMONOIDAL CATEGORIES" →http://research.microsoft.com/~nick/premonitapdf.pdf
- 長谷川 :"The Uniformity Principle on Traced Monoidal Categories" →http://www.kurims.kyoto-u.ac.jp/~hassei/papers/ctcs02.pdf
- 長谷川 :"Models of Sharing Graphs A Categorical Semantics of let and letrec" University of Edinburgh 1997 →http://www.amazon.co.jp/gp/product/1852331453/250-2925753-9543409
- 〃 →http://www.lfcs.inf.ed.ac.uk/reports/97/ECS-LFCS-97-360/
- アブラムスキー : "Abstract Scalars, Loops, and Free Traced and Strongly Compact Closed Categories" →http://web.comlab.ox.ac.uk/oucl/work/samson.abramsky/calco05.pdf
- ボブ・クック : "Kindergarten Quantum Mechanics" →http://web.comlab.ox.ac.uk/oucl/work/bob.coecke/VaxjoProc.pdf
- ダンカン:"An Abstract Approach to Entanglement" →http://web.comlab.ox.ac.uk/oucl/work/ross.duncan/q-day-ii-slides.pdf
- 白旗 : "Geometry of Interaction explained" →http://www.kurims.kyoto-u.ac.jp/~hassei/algi-13/kokyuroku/19_shirahata.pdf -- トレース付きモノイド圏、Int(GoI)構成。
- ステファネスク: "ALGEBRA OF FLOWNOMIALS Part I Binary Flownomials; Basic Theory" →http://www4.in.tum.de/publ/papers/TUM-I9437.pdf
- ステファネスク: "Network Algebra" →http://www.amazon.co.jp/exec/obidos/ASIN/185233195X/503-0219743-2685529