プロトキン／パワーのストレージ代数に関する資料

• Global State（ストレージ）を特徴付ける7つの公理 - 檜山正幸のキマイラ飼育記 メモ編
• プロトキン／パワーのストレージ代数 - 檜山正幸のキマイラ飼育記 メモ編
• フロベニウス半群 - 檜山正幸のキマイラ飼育記 メモ編
• フロベニウス加群族 - 檜山正幸のキマイラ飼育記 メモ編

に関連する（と思う）資料：

Gordon Plotkin and John Power "Notions of Computation Determine Monads" は、次のどちらからでも入手できる。

• http://homepages.inf.ed.ac.uk/gdp/publications/Comp_Eff_Monads.pdf
• http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.63.9117 メタデータあり

その他のプロトキン／パワー

• Title: Computational effects and operations: an overview
• Authors: Gordon Plotkin and John Power
• URL: http://homepages.inf.ed.ac.uk/gdp/publications/Overview.pdf

• Title: Logic for Computational Effects: work in progress
• Authors: Gordon Plotkin and John Power
• URL: http://homepages.inf.ed.ac.uk/gdp/publications/logic_outline.pdf

• Title: Tensors of Comodels and Models for Operational Semantics
• Authors: Gordon Plotkin, John Power
• URL: http://www.sciencedirect.com/science/article/pii/S157106610800412X

ストレージ＝状態に関するものでは、スタントンの

• Title: Completeness for algebraic theories of local state
• Authors: Sam Staton
• URL: http://www.cs.ox.ac.uk/people/samuel.staton/papers/fossacs10.pdf

アトキーのパラメータ付きモナドもヒントになる。

• Title: Algebras for Parameterised Monads
• Authors: Robert Atkey
• URL: http://bentnib.org/algebras-param-monads.pdf

なんとなく関連するっぽいのがホップ圏。

• Title: Hopf Categories
• Authors: E. Batista, S. Caenepeel, J. Vercruysse
• URL: http://arxiv.org/abs/1503.05447