ロス・ダンカンのthesis

アブラムスキー（Samson Abramsky）、ボブ・クック（Bob Coecke ）などのグループのロス・ダンカンのthesis：

• "Types for Quantum Computing" by Ross Duncan→http://web.comlab.ox.ac.uk/oucl/work/ross.duncan/thesis.pdf 175ページ
• 同じ内容（概略）のスライド→http://web.comlab.ox.ac.uk/oucl/work/ross.duncan/q-day-ii-slides.pdf

シーケント計算、proof net、多圏などの必要な道具立てが解説されている。よくまとまっていると思う。特に第6章（P.87-144）が面白そう。

6 Generalised mCQL

6.1 Polycategories

6.2 Graphs and Circuits

6.2.1 Graphs

6.2.2 Circuits

6.3 The Free Compact Closed Category on a Polycategory

6.4 Scalars

6.5 Homotopy

6.5.1 Extended Labellings

6.5.2 Homotopy Equivalence

6.5.3 Circuits under Homotopy

6.5.4 Quotients of the Free Structure