Naohiko Hoshino

[ ܸ ]

Research Interests

Semantics for programming languages.

Research Papers

Manuscripts


e-mail : naophiko@kurims.kyoto-u.ac.jp
Assistant Professor at Research Institute for Mathematical Sciences (RIMS), Kyoto University