ヒビルテより。いや、リンク張るならこっちか?
このCABAが成す圏が、昨日のエントリーで触れたとほぼ同様のものになる…のだろうか。
Linear Logic complements Classical Logic、自分も読んでみよう。こういう話の広がり方はいいなぁ。
ヒビルテより。いや、リンク張るならこっちか?
このCABAが成す圏が、昨日のエントリーで触れたとほぼ同様のものになる…のだろうか。
Linear Logic complements Classical Logic、自分も読んでみよう。こういう話の広がり方はいいなぁ。