Ryo Haruyama

See LinkedIn

• Linear Logic

mixi2以外ほぼ使用頻度順に並んでます。

• mixi2 (mixi2の招待リンク。1/1のFacebookのポストを見て来た人も、そうでない人も、自由に使ってね!期限は1/13 21:46まで!)
• Twitter
• LINE
• Threads
• connpass
• GitHub
• LinkedIn
• Wishlist
• Clubhouse

• ryo.hあnenshi.co.jp

• Soundness for Linear Logic regarding Phase Semantics (in English)
• Categorical Semantics of Linear Logic (in Japanese)