Masahiro Hamano

22 papers B 1Journal 17Unranked 4
YearRankTypeTitle / Venue / Authors
2023 J jnl
A linear exponential comonad in s-finite transition kernels and probabilistic coherent spaces.
Inf. Comput.
Masahiro Hamano
2021 J jnl
Double Glueing over Free Exponential: with Measure Theoretic Applications.
CoRR
Masahiro Hamano
2020 J jnl
A MALL geometry of interaction based on indexed linear logic.
Math. Struct. Comput. Sci.
Masahiro Hamano
2019 J jnl
A Linear Exponential Comonad in s-finite Transition Kernels and Probabilistic Coherent Spaces.
CoRR
Masahiro Hamano
2018 J jnl
Geometry of Interaction for MALL via Hughes-Van Glabbeek Proof-Nets.
ACM Trans. Comput. Log.
Masahiro Hamano
2018 J jnl
On geometry of interaction for polarized linear logic.
Math. Struct. Comput. Sci.
Masahiro Hamano, Philip J. Scott
2017 J jnl
A MALL Geometry of Interaction Based on Indexed Linear Logic.
CoRR
Masahiro Hamano
2015 J jnl
Geometry of Interaction for MALL via Hughes-vanGlabbeek Proof-Nets.
CoRR
Masahiro Hamano
2015 J jnl
On Geometry of Interaction for Polarized Linear Logic.
CoRR
Masahiro Hamano, Philip J. Scott
2015 — conf
Stochastic Transcription Elongation via Rule Based Modelling.
SASB
Masahiro Hamano
2012 — conf
Abstraction of Graph-Based Models of Bio-molecular Reaction Systems for Efficient Simulation.
CMSB
Ibuki Kawamata, Nathanael Aubert, Masahiro Hamano, Masami Hagiya
2012 — conf
RNA interference and Register Machines (extended abstract)
MeCBIC
Masahiro Hamano
2012 — conf
Sustainability of RNA-interference in Rule Based Modelling.
SASB
Masahiro Hamano
2010 J jnl
A phase semantics for polarized linear logic and second order conservativity.
J. Symb. Log.
Masahiro Hamano, Ryo Takemura
2008 B conf
An Indexed System for Multiplicative Additive Polarized Linear Logic.
CSL
Masahiro Hamano, Ryo Takemura
2007 J jnl
A categorical semantics for polarized MALL.
Ann. Pure Appl. Log.
Masahiro Hamano, Philip J. Scott
2005 J jnl
Softness of hypercoherences and MALL full completeness.
Ann. Pure Appl. Log.
Richard Blute, Masahiro Hamano, Philip J. Scott
2004 J jnl
Softness of MALL proof-structures and a correctness criterion with Mix.
Arch. Math. Log.
Masahiro Hamano
2001 J jnl
Z-modules and ful completeness of multiplicative linear logic.
Ann. Pure Appl. Log.
Masahiro Hamano
2000 J jnl
Pontrjagin duality and full completeness for multiplicative linear logic (without Mix).
Math. Struct. Comput. Sci.
Masahiro Hamano
1998 J jnl
A direct independence proof of Buchholz's Hydra Game on finite labeled trees.
Arch. Math. Log.
Masahiro Hamano, Mitsuhiro Okada
1997 J jnl
A Relationship Among Gentzen's Proof-Reduction, Kirby-Paris' Hydra Game and Buchholz's Hydra Game.
Math. Log. Q.
Masahiro Hamano, Mitsuhiro Okada