We stand with Ukraine  

Naohiko Hoshino

Orcid: 0000-0003-2647-0310

According to our database1, Naohiko Hoshino authored at least 10 papers between 2007 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
On the Lattice of Program Metrics.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
Ugo Dal Lago
,
Naohiko Hoshino
Math. Struct. Comput. Sci., 2021

2018
Partial Traces on Additive Categories.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
Ichiro Hasuo
,
Naohiko Hoshino
Ann. Pure Appl. Log., 2017

2016
Memoryful geometry of interaction II: recursion and adequacy.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
Naohiko Hoshino
Proceedings of the Foundations of Software Science and Computational Structures, 2011

2007
Linear Realizability.
[BibTeX]
[DOI]
Naohiko Hoshino
Proceedings of the Computer Science Logic, 21st International Workshop, 2007


  Loading...