Naohiko Hoshino

	2011
3		Naohiko Hoshino: A Modified GoI Interpretation for a Linear Functional Programming Language and Its Adequacy. FOSSACS 2011: 320-334
2		Ichiro Hasuo, Naohiko Hoshino: Semantics of Higher-Order Quantum Computation via Geometry of Interaction. LICS 2011: 237-246
	2007
1		Naohiko Hoshino: Linear Realizability. CSL 2007: 420-434

Coauthor Index

1

Ichiro Hasuo

[2]

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page