2009-3-8(日)(13:00-18:00) 東京都 (国立情報学研究所 12F カンファレンスルーム)テキスト: P. Selinger, "A survey of graphical languages for monoidal categories" p10, Graphical Language から (http://www.mscs.dal.ca/~selinger/papers/graphical.p…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。