線型論理
Linear logic
線形論理
全ての仮説は証明において1回だけ消費される
関連
線形型
部分構造論理
部分構造型
線型圏
参考
tcfm
16
https://github.com/lotz84/haskell/blob/master/docs/linear-type.md#理論
https://ja.wikipedia.org/wiki/線形論理
https://en.wikipedia.org/wiki/Linear_logic
https://github.com/rharuyama/soundness-for-linear-logic-regarding-phase-semantics
http://ziphil.com/diary/mathematics/6.html
http://ziphil.com/diary/mathematics/7.html
https://github.com/ekmett/linear-logic
https://elpinal.gitlab.io/publications/linear_logic.pdf
『線形論理の誕生』
照井一成
https://www.kurims.kyoto-u.ac.jp/~terui/birth.pdf