Naohiko Hoshino

Publication Activity (10 Years)

Years Active: 2007-2023
Publications (10 Years): 9

Top Topics

Control Program

Posterior Probability

Quantum Computation

Broad Categories

Top Venues

Math. Struct. Comput. Sci.

Publications

Ugo Dal Lago, Naohiko Hoshino, Paolo Pistone
On the Lattice of Program Metrics. CoRR (2023)
Ugo Dal Lago, Naohiko Hoshino, Paolo Pistone
On the Lattice of Program Metrics. FSCD (2023)
Ugo Dal Lago, Naohiko Hoshino
The geometry of Bayesian programming. Math. Struct. Comput. Sci. 31 (6) (2021)
Ugo Dal Lago, Naohiko Hoshino
The Geometry of Bayesian Programming. LICS (2019)
Ugo Dal Lago, Naohiko Hoshino
The Geometry of Bayesian Programming. CoRR (2019)
Naohiko Hoshino
Partial Traces on Additive Categories. MFPS (2018)
Ichiro Hasuo, Naohiko Hoshino
Semantics of higher-order quantum computation via geometry of interaction. Ann. Pure Appl. Log. 168 (2) (2017)
Ichiro Hasuo, Naohiko Hoshino
Semantics of Higher-Order Quantum Computation via Geometry of Interaction. CoRR (2016)
Koko Muroya, Naohiko Hoshino, Ichiro Hasuo
Memoryful geometry of interaction II: recursion and adequacy. POPL (2016)
Naohiko Hoshino, Koko Muroya, Ichiro Hasuo
Memoryful geometry of interaction: from coalgebraic components to algebraic effects. CSL-LICS (2014)
Naohiko Hoshino
Step Indexed Realizability Semantics for a Call-by-Value Language Based on Basic Combinatorial Objects. LICS (2012)
Naohiko Hoshino
A Representation Theorem for Unique Decomposition Categories. MFPS (2012)
Naohiko Hoshino
A Modified GoI Interpretation for a Linear Functional Programming Language and Its Adequacy. FoSSaCS (2011)
Ichiro Hasuo, Naohiko Hoshino
Semantics of Higher-Order Quantum Computation via Geometry of Interaction. LICS (2011)
Naohiko Hoshino
Linear Realizability. CSL (2007)