Staff -HOSHINO, Naohiko-

Name HOSHINO, Naohiko
Position Assistant Professor
E-Mail naophiko (email address: add @kurims.kyoto-u.ac.jp)
Research
Research topics of Naohiko Hoshino are: semantics of programming languages, especially Geometry of Interaction (GoI) and realizability interpretation of programming languages. There are many studies on applications of GoI for programming languages. However, GoI interpretation of recursion has not been studied sufficiently. He observed that the standard GoI interpretation can not be extended to an adequate semantics for a polymorphic linear lambda calculus with recursion, and he introduced a modified GoI interpretation of the polymorphic linear lambda calculus with recursion by constructing a categorical realizability model. In his recent work, he gave a generic framework of GoI for algebraic effects.