Masahiro Hamano - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 16 from 16

2023

A linear exponential comonad in s-finite transition kernels and probabilistic coherent spacesMasahiro Hamano. iandc, 295(Part B):105109, December 2023. [doi]

2020

A MALL geometry of interaction based on indexed linear logicMasahiro Hamano. mscs, 30(10):1025-1053, 2020. [doi]

2018

Geometry of Interaction for MALL via Hughes-Van Glabbeek Proof-NetsMasahiro Hamano. tocl, 19(4), 2018. [doi]

On geometry of interaction for polarized linear logicMasahiro Hamano, Philip J. Scott. mscs, 28(10):1639-1694, 2018. [doi]

2016

Stochastic Transcription Elongation via Rule Based ModellingMasahiro Hamano. ENTCS, 326:73-88, 2016. [doi]

2015

Sustainability of RNA-interference in Rule Based ModellingMasahiro Hamano. ENTCS, 313:65-77, 2015. [doi]

2012

Abstraction of Graph-Based Models of Bio-molecular Reaction Systems for Efficient SimulationIbuki Kawamata, Nathanael Aubert, Masahiro Hamano, Masami Hagiya. cmsb 2012: 187-206 [doi]

2010

A phase semantics for polarized linear logic and second order conservativityMasahiro Hamano, Ryo Takemura. JSYML, 75(1):77-102, 2010. [doi]

2008

An Indexed System for Multiplicative Additive Polarized Linear LogicMasahiro Hamano, Ryo Takemura. csl 2008: 262-277 [doi]

2007

A categorical semantics for polarized MALLMasahiro Hamano, Philip J. Scott. APAL, 145(3):276-313, 2007. [doi]

2005

Softness of hypercoherences and MALL full completenessRichard Blute, Masahiro Hamano, Philip J. Scott. APAL, 131(1-3):1-63, 2005. [doi]

2004

Softness of MALL proof-structures and a correctness criterion with MixMasahiro Hamano. AML, 43(6):751-794, 2004. [doi]

2001

Z-modules and ful completeness of multiplicative linear logicMasahiro Hamano. APAL, 107(1-3):165-191, 2001.

2000

Pontrjagin duality and full completeness for multiplicative linear logic (without Mix)Masahiro Hamano. mscs, 10(2):231-259, 2000.

1998

A direct independence proof of Buchholz s Hydra Game on finite labeled treesMasahiro Hamano, Mitsuhiro Okada. AML, 37(2):67-89, 1998. [doi]

1997

A Relationship Among Gentzen s Proof-Reduction, Kirby-Paris Hydra Game and Buchholz s Hydra GameMasahiro Hamano, Mitsuhiro Okada. mlq, 43:103-120, 1997.

Sign in or sign up to see more results.

runs on WebDSL