Members

TOP > Members > HOSHINO, Naohiko

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. GoI has a general categorical framework called GoI situation. In his recent work, he constructed a GoI semantics for algebraic effects by an instance of GoI situation on the category of sets and resumptions.

← BACK TO THE TOP

← BACK TO THE TOP

  • Follow on

Research Institute for Mathematical Sciences (RIMS)