線形論理
線形論理(linear logic)
1度使用した論理(仮定？)を消費する論理体系
やさしい線形論理入門
を見る
型理論の応用用先に下記のようなものがある
アフィン型
線形型
確認用
Q. 線形論理
参考
やさしい線形論理入門
『線形論理入門 ∼ What’s the USE? ∼』
メモ
Handbook of Linear Logic
調査用
Google.icon
線形論理(日)
Google.icon
Linear Logic(英)
/pogi-log/Wikipedia.icon
線形論理 - Wikipedia(日)
線形論理(検索) - Wikipedia(日)
/pogi-log/Wikipedia.icon
Linear logic - Wikipedia(英)
Linear logic(検索) - Wikipedia(英)
#Fleeting_Notes