Masahiro Hamano

Available identifiers

Publication	Date of Publication	Type
A linear exponential comonad in s-finite transition kernels and probabilistic coherent spaces	2024-02-02	Paper
A `MALL` geometry of interaction based on indexed linear logic	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	2019-02-07	Paper
On geometry of interaction for polarized linear logic	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	2010-03-15	Paper
An Indexed System for Multiplicative Additive Polarized Linear Logic	2008-11-20	Paper
A categorical semantics for polarized MALL	2007-02-14	Paper
Softness of hypercoherences and MALL full completeness	2005-01-31	Paper
Softness of MALL proof-structures and a correctness criterion with Mix	2004-10-01	Paper
\(\mathbb{Z}\)-modules and full completeness of multiplicative linear logic	2001-02-11	Paper
Pontrjagin duality and full completeness for multiplicative linear logic (without Mix)	2000-07-24	Paper
https://portal.mardi4nfdi.de/entity/Q4252642	1999-11-08	Paper
A direct independence proof of Buchholz's Hydra Game on finite labeled trees	1999-03-18	Paper
A Relationship Among Gentzen's Proof-Reduction, Kirby-Paris' Hydra Game and Buchholz's Hydra Game	1997-04-08	Paper

This page was built for person: Masahiro Hamano