## 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.