Ryo Haruyama
Master of Informatics
Bio
- Background in mathematical logic and programming language theory
- See LinkedIn
Interests
- Linear Logic
Socials
- ryo.hあnagoya-u.jp
Slides
- Soundness for Linear Logic regarding Phase Semantics (in English)
- Categorical Semantics of Linear Logic (in Japanese)