SOJO UNIVERSITY
Research Achievements Database
Japanese
Hoshino Naohiko
Department / Course
FACULTY OF COMPUTER AND INFORMATIONSCIENCES Department of Computer and Information Sciences
Job
Book and thesis
1.
2007
Other
Linear Realizability Lecture Notes in Computer Science 4646,pp.420-434 (Sole-authored)
2.
2011
Other
A modified GoI interpretation for a linear functional programming language and its adequacy LNCS 6604,pp.320-334 (Sole-authored)
3.
2011
Other
Semantics of Higher-Order Quantum Computation via Geometry of Interaction Proceedings of the 26th Annual IEEE Symposium on Logic in Computer Science (Co-authored)
4.
2012
Other
A representation theorem for unique decomposition categories Electronic Notes in Theoretical Computer Science 286,pp.213-227 (Sole-authored)
5.
2012
Other
Step indexed realizability semantics for a call-by-value language based on basic combinatorial objects In Proceedings of LICS 2012,pp.385-394 (Sole-authored)
6.
2014
Other
Memoryful geometry of interaction: from coalgebraic components to algebraic effects In Proccedings of LICS 2014 (Co-authored)
7.
2016
Other
Memoryful geometry of interaction II: recursion and adequacy In Proceedings of POPL 2016,pp.748-760 (Co-authored)
8.
2017
Papers
Semantics of higher-order quantum computation via geometry of interaction Annals of Pure and Applied Logic 168 (2),pp.404-469 (Co-authored)
9.
2018
Other
Partial Traces on Additive Categories Electronic Notes in Theoretical Computer Science 341,pp.219-237 (Sole-authored)
10.
2019
Other
The Geometry of Bayesian Programming In Proccedings of LICS 2019 (Co-authored)
11.
2021
Papers
The geometry of Bayesian programming Mathematical Structures in Computer Science 31 (6),pp.633-681 (Co-authored)
12.
2023
Other
On the Lattice of Program Metrics Leibniz International Proceedings in Informatics (LIPIcs),pp.1-19 (Co-authored)