Concepedia

Naohiko Hoshino

NH

Statistics

Publications

5

Citations

121

H-Index

5

Active since

2011

Affiliations

Kyoto University(Current)

The University of Tokyo

Naohiko Hoshino is an author at Kyoto University specializing in computer science, lambda calculus semantics, and theory of computation.

ORCID

Publications per year

2011–2016

5

Publications

5

Semantics of Higher-Order Quantum Computation via Geometry of Interaction

Ichiro Hasuo, Naohiko Hoshino · 2011 · 38 citations

, , +14

Memoryful geometry of interaction

Naohiko Hoshino, Koko Muroya, Ichiro Hasuo · 2014 · 37 citations

, , +15

Semantics of higher-order quantum computation via geometry of interaction

Ichiro Hasuo, Naohiko Hoshino · Annals of Pure and Applied Logic · 2016 · 22 citations

, , +14

Memoryful geometry of Interaction II: recursion and adequacy

Koko Muroya, Naohiko Hoshino, Ichiro Hasuo · 2016 · 14 citations

, , +12

A Representation Theorem for Unique Decomposition Categories

Naohiko Hoshino · Electronic Notes in Theoretical Computer Science · 2012 · 10 citations · Full text

, , +10

1–5 of 5