前回こんなことを書いたけれど更に完全性定理について cut-elimination.hatenablog.com Troelstra先生の本を読んで線形論理の代数的意味論の完全性定理を勉強しているところなのだけれど、 Lectures on Linear Logic (Lecture Notes Book 29) (English Editi…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。