計算の本質をひもとく、モノイダル圏による新しい計算モデル

Monoidal computer I: Basic computability by string diagrams (2012)

モノイダル圏を用いて計算モデルを再構築し、Church-Turing Thesisに適合しながら標準モデルと同じ可算関数を捉える。多様な実装詳細から解放された簡潔な圏論的インターフェースを提供し、文字列図式という完全なグラフィカル形式で計算の抽象的推論を直感的に支援する。最終目標は一方向関数やトラップドア関数など計算資源理論の高水準プログラミング言語の実現にあり、本論文はその第一歩を描く。