Masahiro Hamano

According to our database, Masahiro Hamano authored at least 19 papers between 1997 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

A linear exponential comonad in s-finite transition kernels and probabilistic coherent spaces.

Masahiro Hamano

Inf. Comput., December, 2023

2021

Double Glueing over Free Exponential: with Measure Theoretic Applications.

Masahiro Hamano

CoRR, 2021

2020

A MALL geometry of interaction based on indexed linear logic.

Masahiro Hamano

Math. Struct. Comput. Sci., 2020

2018

Geometry of Interaction for MALL via Hughes-Van Glabbeek Proof-Nets.

Masahiro Hamano

ACM Trans. Comput. Log., 2018

On geometry of interaction for polarized linear logic.

Masahiro Hamano, Philip J. Scott

Math. Struct. Comput. Sci., 2018

2015

Stochastic Transcription Elongation via Rule Based Modelling.

Masahiro Hamano

Proceedings of the 6th International Workshop on Static Analysis and Systems Biology, 2015

Geometry of Interaction for MALL via Hughes-vanGlabbeek Proof-Nets.

Masahiro Hamano

CoRR, 2015

2012

Sustainability of RNA-interference in Rule Based Modelling.

Masahiro Hamano

Proceedings of the 3rd International Workshop on Static Analysis and Systems Biology, 2012

RNA interference and Register Machines (extended abstract)

Masahiro Hamano

Proceedings of the Proceedings 6th Workshop on Membrane Computing and Biologically Inspired Process Calculi, 2012

Abstraction of Graph-Based Models of Bio-molecular Reaction Systems for Efficient Simulation.

Ibuki Kawamata, Nathanael Aubert, Masahiro Hamano, Masami Hagiya

Proceedings of the Computational Methods in Systems Biology, 2012

2010

A phase semantics for polarized linear logic and second order conservativity.

Masahiro Hamano, Ryo Takemura

J. Symb. Log., 2010

2008

An Indexed System for Multiplicative Additive Polarized Linear Logic.

Masahiro Hamano, Ryo Takemura

Proceedings of the Computer Science Logic, 22nd International Workshop, 2008

2007

A categorical semantics for polarized MALL.

Masahiro Hamano, Philip J. Scott

Ann. Pure Appl. Log., 2007

2005

Softness of hypercoherences and MALL full completeness.

Richard Blute, Masahiro Hamano, Philip J. Scott

Ann. Pure Appl. Log., 2005

2004

Softness of MALL proof-structures and a correctness criterion with Mix.

Masahiro Hamano

Arch. Math. Log., 2004

2001

Z-modules and ful completeness of multiplicative linear logic.

Masahiro Hamano

Ann. Pure Appl. Log., 2001

2000

Pontrjagin duality and full completeness for multiplicative linear logic (without Mix).

Masahiro Hamano

Math. Struct. Comput. Sci., 2000

1998

A direct independence proof of Buchholz's Hydra Game on finite labeled trees.

Masahiro Hamano, Mitsuhiro Okada

Arch. Math. Log., 1998

1997

A Relationship Among Gentzen's Proof-Reduction, Kirby-Paris' Hydra Game and Buchholz's Hydra Game.

Masahiro Hamano, Mitsuhiro Okada

Math. Log. Q., 1997