Get started
Author

Naohiko Hoshino

Observed names: Hoshino Naohiko, Hoshino, Naohiko, 星野 直彦, 直彦 星野
ORCID: 0000-0003-2647-0310
Observed ORCID: 0000-0003-2647-0310
OpenAlex ID: A5006816704
Semantics of Higher-Order Quantum Computation via Geometry of Interaction
2011 · Ichiro Hasuo, Naohiko Hoshino · ACM/IEEE Symposium on Logic in Computer Science (LICS) · 47
Memoryful geometry of interaction: from coalgebraic components to algebraic effects
2014 · Naohiko Hoshino, Koko Muroya, et al. · ACM/IEEE Symposium on Logic in Computer Science (LICS) · 45
Semantics of higher-order quantum computation via geometry of interaction
2016 · Ichiro Hasuo, Naohiko Hoshino · Annals of Pure and Applied Logic · 26
PDF
Memoryful geometry of Interaction II: recursion and adequacy
2016 · Koko Muroya, Naohiko Hoshino, et al. · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) · 13
A Representation Theorem for Unique Decomposition Categories
2012 · Naohiko Hoshino · Electronic Notes in Theoretical Computer Science · 10
PDF
The Geometry of Bayesian Programming
2019 · Ugo Dal Lago, Naohiko Hoshino · ACM/IEEE Symposium on Logic in Computer Science (LICS) · 9
PDF
Linear Realizability
2007 · Naohiko Hoshino · Lecture notes in computer science · 8
A Modified GoI Interpretation for a Linear Functional Programming Language and Its Adequacy
2011 · Naohiko Hoshino · Lecture notes in computer science · 7
PDF
The geometry of Bayesian programming
2021 · Ugo Dal Lago, Naohiko Hoshino · Mathematical Structures in Computer Science · 3
On the Lattice of Program Metrics
2023 · Dal Lago, Ugo, Hoshino, Naohiko, et al. · arXiv (Cornell University) · 2
PDF
Memoryful geometry of Interaction II: recursion and adequacy
2016 · Koko Muroya, Naohiko Hoshino, et al. · ACM SIGPLAN Notices · 2
Step Indexed Realizability Semantics for a Call-by-Value Language Based on Basic Combinatorial Objects
2012 · Naohiko Hoshino · ACM/IEEE Symposium on Logic in Computer Science (LICS) · 2
Compiling Quantum Lambda-Terms into Circuits via the Geometry of Interaction
2026 · Chardonnet, Kostia, Lago, Ugo Dal, et al. · arXiv (Cornell University) · 1
PDF
Partial Traces on Additive Categories
2018 · Naohiko Hoshino · Electronic Notes in Theoretical Computer Science · 1
PDF
Bayesプログラミングの幾何学【JST・京大機械翻訳】
2019 · Lago Ugo Dal, Hoshino Naohiko · IEEE Conference Proceedings
Coherence Spaces and Geometry of Interaction (Mathematical Logic and Its Applications)
2017 · Naohiko Hoshino · Institutional Repositories DataBase (IRDB)
PDF
Quantum Computer：5. Quantum Programming Languages
2014 · 蓮尾 一郎, 星野 直彦 · 情報処理
線型関数型プログラミング言語に対するGoI解釈の修正とその適切性
2011 · Hoshino, Naohiko · Institutional Repositories DataBase (IRDB)
PDF
A modified GoI interpretation for a linear functional programming language and its adequacy
2011 · 直彦 星野
Works count: 27
Citation count: 176
H-index: 7
I10-index: 5
Year
Topic
Type