サクサク読めて、アプリ限定の機能も多数!
トップへ戻る
Pixel 9
blogs.unimelb.edu.au
Intro to linear logic Dr. Jen Davoren (Melbourne) wrote up a *really* nice set of notes on linear logic, and she has graciously said that we can put it online. So, enjoy A Lazy Logician’s Guide to Linear Logic (pdf, 6.9MB).
このページを最初にブックマークしてみませんか?
『blogs.unimelb.edu.au』の新着エントリーを見る
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く