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.
Proceedings of the 8th International Conference on Formal Structures for Computation and Deduction, 2023

2021
The geometry of Bayesian programming.
Math. Struct. Comput. Sci., 2021

2018
Partial Traces on Additive Categories.
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.
Ann. Pure Appl. Log., 2017

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

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


  Loading...