崇城大学
研究業績データベース
English
ホシノ ナオヒコ
Hoshino Naohiko
星野 直彦
所属
情報学部 情報学科
職種
助教
学会発表
1.
2007
Linear Realizability (Computer Science Logic)
2.
2011
A modified GoI interpretation for a linear functional programming language and its adequacy (International Conference on Foundations of Software Science and Computation Structures)
3.
2011
Semantics of higher-order quantum computation via geometry of interaction (Logic in Computer Science)
4.
2012
A representation theorem for unique decomposition categories (Mathematical Foundations of Programming Semantics)
5.
2012
Step indexed realizability semantics for a call-by-value language based on basic combinatorial objects (Logic in Computer Science)
6.
2014
Memoryful geometry of interaction: from coalgebraic components to algebraic effects (Logic in Computer Science)
7.
2016
Memoryful geometry of interaction II: recursion and adequacy (Principle of Programming Languages)
8.
2018
Partial Traces on Additive Categories (Mathematical Foundations of Programming Semantics)
9.
2019
The Geometry of Bayesian Programming (Logic in Computer Science)
10.
2023
On the Lattice of Program Metrics (Formal Structures for Computation and Deduction)