English
Ryo Haruyama
修士(情報学)
連絡先
詳細は
こちら
Email
ryo.hあnagoya-u.jp
スライド
Soundness for Linear Logic regarding Phase Semantics
(英語)
線形論理の圏論的意味論