Naohiko Hoshino

Research Interests

Research Papers

• Naohiko Hoshino. Step Indexed Realizability Semantics for a Call-by-Value Language Based on Basic Combinatorial Objects. [ pdf ]
  In Proceedings of LICS 2012, pages 385-394, IEEE Computer Society.
  
  
• Naohiko Hoshino. A Representation Theorem for Unique Decomposition Categories. [ pdf ]
  In Proceedings of MFPS 2012. Electronic Notes in Theoretical Computer Science, Volume 286, pages 213-227, 2012.
  
  
• Ichiro Hasuo and Naohiko Hoshino. Semantics of Higher-Order Quantum Computation via Geometry of Interaction. [ pdf | IEEE ]
  In Proceedings of LICS 2011, page 237-246, IEEE Computer Society.
  
  
• Naohiko Hoshino. A Modified GoI Interpretation for a Linear Functional Programming Language and its Adequacy. [ pdf | Springer ]
  In Proceedings of FoSSaCS 2011, volume 6604 of LNCS, pages 320-334, Springer.
  
  
• Naohiko Hoshino. Linear Realizability. [ pdf | Springer ]
  In Proceedings of CSL 2007, volume 4646 of LNCS, pages 420-434, Springer.

Manuscripts

• Naohiko Hoshino, Shin-ya Katsumata. Int Construction and Semibiproducts. [ pdf | Remaining proofs pdf | Composed file pdf ]
  RIMS-1676