Naohiko Hoshino

19 papers A* 4B 6Journal 8Unranked 1
YearRankTypeTitle / Venue / Authors
2026 J jnl
Compiling Quantum Lambda-Terms into Circuits via the Geometry of Interaction.
CoRR
Kostia Chardonnet, Ugo Dal Lago, Naohiko Hoshino, Paolo Pistone
2026 J jnl
On the Metric Nature of (Differential) Logical Relations.
CoRR
Ugo Dal Lago, Naohiko Hoshino, Paolo Pistone
2025 J jnl
On The Metric Nature of (Differential) Logical Relations.
CoRR
Ugo Dal Lago, Naohiko Hoshino, Paolo Pistone
2025 B conf
On the Metric Nature of (Differential) Logical Relations.
FSCD
Ugo Dal Lago, Naohiko Hoshino, Paolo Pistone
2023 B conf
On the Lattice of Program Metrics.
FSCD
Ugo Dal Lago, Naohiko Hoshino, Paolo Pistone
2023 J jnl
On the Lattice of Program Metrics.
CoRR
Ugo Dal Lago, Naohiko Hoshino, Paolo Pistone
2021 J jnl
The geometry of Bayesian programming.
Math. Struct. Comput. Sci.
Ugo Dal Lago, Naohiko Hoshino
2019 A* conf
The Geometry of Bayesian Programming.
LICS
Ugo Dal Lago, Naohiko Hoshino
2019 J jnl
The Geometry of Bayesian Programming.
CoRR
Ugo Dal Lago, Naohiko Hoshino
2018 B conf
Partial Traces on Additive Categories.
MFPS
Naohiko Hoshino
2017 J jnl
Semantics of higher-order quantum computation via geometry of interaction.
Ann. Pure Appl. Log.
Ichiro Hasuo, Naohiko Hoshino
2016 A* conf
Memoryful geometry of interaction II: recursion and adequacy.
POPL
Koko Muroya, Naohiko Hoshino, Ichiro Hasuo
2016 J jnl
Semantics of Higher-Order Quantum Computation via Geometry of Interaction.
CoRR
Ichiro Hasuo, Naohiko Hoshino
2014 — conf
Memoryful geometry of interaction: from coalgebraic components to algebraic effects.
CSL-LICS
Naohiko Hoshino, Koko Muroya, Ichiro Hasuo
2012 B conf
A Representation Theorem for Unique Decomposition Categories.
MFPS
Naohiko Hoshino
2012 A* conf
Step Indexed Realizability Semantics for a Call-by-Value Language Based on Basic Combinatorial Objects.
LICS
Naohiko Hoshino
2011 B conf
A Modified GoI Interpretation for a Linear Functional Programming Language and Its Adequacy.
FoSSaCS
Naohiko Hoshino
2011 A* conf
Semantics of Higher-Order Quantum Computation via Geometry of Interaction.
LICS
Ichiro Hasuo, Naohiko Hoshino
2007 B conf
Linear Realizability.
CSL
Naohiko Hoshino