Linear Realizability. - Naohiko Hoshino (CSL, 2007)

A Modified GoI Interpretation for a Linear Functional Programming Language and Its Adequacy. - Naohiko Hoshino (FoSSaCS, 2011)

Step Indexed Realizability Semantics for a Call-by-Value Language Based on Basic Combinatorial Objects. - Naohiko Hoshino (LICS, 2012)

A Representation Theorem for Unique Decomposition Categories. - Naohiko Hoshino (MFPS, 2012)

Memoryful geometry of interaction: from coalgebraic components to algebraic effects. - Naohiko Hoshino; Koko Muroya; Ichiro Hasuo (CSL-LICS, 2014)

Memoryful geometry of interaction II: recursion and adequacy. - Koko Muroya; Naohiko Hoshino; Ichiro Hasuo (POPL, 2016)

Semantics of higher-order quantum computation via geometry of interaction. - Ichiro Hasuo; Naohiko Hoshino (Ann. Pure Appl. Log., 2017)

Partial Traces on Additive Categories. - Naohiko Hoshino (MFPS, 2018)

The geometry of Bayesian programming. - Ugo Dal Lago; Naohiko Hoshino (Math. Struct. Comput. Sci., 2021)

On the Lattice of Program Metrics. - Ugo Dal Lago; Naohiko Hoshino; Paolo Pistone (FSCD, 2023)

On the Metric Nature of (Differential) Logical Relations. - Ugo Dal Lago; Naohiko Hoshino; Paolo Pistone (FSCD, 2025)