Masahiro Hamano

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A linear exponential comonad in s-finite transition kernels and probabilistic coherent spaces Information and Computation	2024-02-02	Paper
A \(\mathsf{MALL}\) geometry of interaction based on indexed linear logic Mathematical Structures in Computer Science	2021-08-16	Paper
Double Glueing over Free Exponential: with Measure Theoretic Applications	2021-07-16	Paper
Geometry of interaction for MALL via Hughes-Van Glabbeek proof-nets ACM Transactions on Computational Logic	2019-02-07	Paper
On geometry of interaction for polarized linear logic Mathematical Structures in Computer Science	2018-10-25	Paper
Stochastic transcription elongation via rule based modelling	2018-04-23	Paper
Sustainability of RNA-interference in rule based modelling	2016-12-16	Paper
A phase semantics for polarized linear logic and second order conservativity Journal of Symbolic Logic	2010-03-15	Paper
An Indexed System for Multiplicative Additive Polarized Linear Logic Computer Science Logic	2008-11-20	Paper
A categorical semantics for polarized MALL Annals of Pure and Applied Logic	2007-02-14	Paper
Softness of hypercoherences and MALL full completeness Annals of Pure and Applied Logic	2005-01-31	Paper
Softness of MALL proof-structures and a correctness criterion with Mix Archive for Mathematical Logic	2004-10-01	Paper
\(\mathbb{Z}\)-modules and full completeness of multiplicative linear logic Annals of Pure and Applied Logic	2001-02-11	Paper
Pontrjagin duality and full completeness for multiplicative linear logic (without Mix) Mathematical Structures in Computer Science	2000-07-24	Paper
scientific article; zbMATH DE number 1305935 (Why is no real title available?)	1999-11-08	Paper
A direct independence proof of Buchholz's Hydra Game on finite labeled trees Archive for Mathematical Logic	1999-03-18	Paper
A Relationship Among Gentzen's Proof-Reduction, Kirby-Paris' Hydra Game and Buchholz's Hydra Game Mathematical Logic Quarterly	1997-04-08	Paper

Research outcomes over time

This page was built for person: Masahiro Hamano