Naohiko Hoshino

According to our database, Naohiko Hoshino authored at least 11 papers between 2007 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2025

On the Metric Nature of (Differential) Logical Relations.

Ugo Dal Lago, Naohiko Hoshino, Paolo Pistone

Proceedings of the 10th International Conference on Formal Structures for Computation and Deduction, 2025

2023

On the Lattice of Program Metrics.

Ugo Dal Lago, Naohiko Hoshino, Paolo Pistone

Proceedings of the 8th International Conference on Formal Structures for Computation and Deduction, 2023

2021

The geometry of Bayesian programming.

Ugo Dal Lago, Naohiko Hoshino

Math. Struct. Comput. Sci., 2021

2018

Partial Traces on Additive Categories.

Naohiko Hoshino

Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations of Programming Semantics, 2018

2017

Semantics of higher-order quantum computation via geometry of interaction.

Ichiro Hasuo, Naohiko Hoshino

Ann. Pure Appl. Log., 2017

2016

Memoryful geometry of interaction II: recursion and adequacy.

Koko Muroya, Naohiko Hoshino, Ichiro Hasuo

Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

2014

Memoryful geometry of interaction: from coalgebraic components to algebraic effects.

Naohiko Hoshino, Koko Muroya, Ichiro Hasuo

Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014

2012

A Representation Theorem for Unique Decomposition Categories.

Naohiko Hoshino

Proceedings of the 28th Conference on the Mathematical Foundations of Programming Semantics, 2012

Step Indexed Realizability Semantics for a Call-by-Value Language Based on Basic Combinatorial Objects.

Naohiko Hoshino

Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, 2012

2011

A Modified GoI Interpretation for a Linear Functional Programming Language and Its Adequacy.

Naohiko Hoshino

Proceedings of the Foundations of Software Science and Computational Structures, 2011

2007

Linear Realizability.

Naohiko Hoshino

Proceedings of the Computer Science Logic, 21st International Workshop, 2007