崇城大学
研究業績データベース
English
ホシノ ナオヒコ
Hoshino Naohiko
星野 直彦
所属
情報学部 情報学科
職種
助教
著書・論文歴
1.
2007
論文
Linear Realizability Lecture Notes in Computer Science 4646,420-434頁 (単著)
2.
2011
論文
A modified GoI interpretation for a linear functional programming language and its adequacy LNCS 6604,320-334頁 (単著)
3.
2011
論文
Semantics of Higher-Order Quantum Computation via Geometry of Interaction Proceedings of the 26th Annual IEEE Symposium on Logic in Computer Science (共著)
4.
2012
論文
A representation theorem for unique decomposition categories Electronic Notes in Theoretical Computer Science 286,213-227頁 (単著)
5.
2012
論文
Step indexed realizability semantics for a call-by-value language based on basic combinatorial objects In Proceedings of LICS 2012,385-394頁 (単著)
6.
2014
論文
Memoryful geometry of interaction: from coalgebraic components to algebraic effects In Proccedings of LICS 2014 (共著)
7.
2016
論文
Memoryful geometry of interaction II: recursion and adequacy In Proceedings of POPL 2016,748-760頁 (共著)
8.
2017
論文
Semantics of higher-order quantum computation via geometry of interaction Annals of Pure and Applied Logic 168 (2),404-469頁 (共著)
9.
2018
論文
Partial Traces on Additive Categories Electronic Notes in Theoretical Computer Science 341,219-237頁 (単著)
10.
2019
論文
The Geometry of Bayesian Programming In Proccedings of LICS 2019 (共著)
11.
2021
論文
The geometry of Bayesian programming Mathematical Structures in Computer Science 31 (6),633-681頁 (共著)
12.
著書
理論計算機科学事典 (共著)