Staff -HOSHINO, Naohiko-
Name HOSHINO, Naohiko
Position Assistant Professor
E-Mail naophiko (email address: add @kurims.kyoto-u.ac.jp)
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.