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