SOJO UNIVERSITY
Research Achievements Database
Japanese
Hoshino Naohiko
Department / Course
FACULTY OF COMPUTER AND INFORMATIONSCIENCES Department of Computer and Information Sciences
Job
Academic conference presentation
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)