## 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 various programming
languages have not been studied sufficiently. He gave a GoI interpretation
of a polymorphic linear lambda calculus with recursion, and he also gave
a generic framework of GoI for algebraic effects using categorical GoI.