Faculty Information - Hoshino Naohiko

Hoshino Naohiko

Department / Course FACULTY OF COMPUTER AND INFORMATIONSCIENCES Department of Computer and Information Sciences

Job

Academic conference presentation
1.	2007	Linear Realizability (Computer Science Logic)
2.	2011	A modified GoI interpretation for a linear functional programming language and its adequacy (International Conference on Foundations of Software Science and Computation Structures)
3.	2011	Semantics of higher-order quantum computation via geometry of interaction (Logic in Computer Science)
4.	2012	A representation theorem for unique decomposition categories (Mathematical Foundations of Programming Semantics)
5.	2012	Step indexed realizability semantics for a call-by-value language based on basic combinatorial objects (Logic in Computer Science)
6.	2014	Memoryful geometry of interaction: from coalgebraic components to algebraic effects (Logic in Computer Science)
7.	2016	Memoryful geometry of interaction II: recursion and adequacy (Principle of Programming Languages)
8.	2018	Partial Traces on Additive Categories (Mathematical Foundations of Programming Semantics)
9.	2019	The Geometry of Bayesian Programming (Logic in Computer Science)
10.	2025	On the Metric Nature of (Differential) Logical Relations (International Conference on Formal Structures for Computation and Deduction (FSCD 2025))