Rchr
J-GLOBAL ID：201401012474664712
Update date: Aug. 31, 2020
Hoshino Naohiko
Hoshino Naohiko
Contact this researcher
You can send email directly to the researcher.
Affiliation and department：
Kyoto University
About Kyoto University
Search "Kyoto University"
Papers (9)：
Ugo Dal Lago, Naohiko Hoshino. The Geometry of Bayesian Programming. 34th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2019, Vancouver, BC, Canada, June 24-27, 2019. 2019. 1-13
Naohiko Hoshino. Partial Traces on Additive Categories. Electr. Notes Theor. Comput. Sci. 2018. 341. 219-237
Ichiro Hasuo, Naohiko Hoshino. Semantics of higher-order quantum computation via geometry of interaction. ANNALS OF PURE AND APPLIED LOGIC. 2017. 168. 2. 404-469
Koko Muroya, Naohiko Hoshino, Ichiro Hasuo. Memoryful Geometry of Interaction II Recursion and Adequacy. ACM SIGPLAN NOTICES. 2016. 51. 1. 748-760
Naohiko Hoshino, Koko Muroya, Ichiro Hasuo. Memoryful geometry of interaction: From coalgebraic components to algebraic effects. Proceedings of the Joint Meeting of the 23rd EACSL Annual Conference on Computer Science Logic, CSL 2014 and the 29th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2014. 2014. 52:1-52:10
ｍore...
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in
researchmap
.
For details, see here
.
Return to Previous Page
TOP
BOTTOM
