3 citations · 5 across the 5 of their papers we have counts for
6 papers
Double Glueing over Free Exponential: with Measure Theoretic Applications
Masahiro Hamano
This paper provides a compact method to lift the free exponential construction of Mellies-Tabareau-Tasson over the Hyland-Schalk double glueing for orthogonality categories. A cond…
A Linear Exponential Comonad in s-finite Transition Kernels and Probabilistic Coherent Spaces
Masahiro Hamano
This paper concerns a stochastic construction of probabilistic coherent spaces by employing novel ingredients (i) linear exponential comonads arising properly in the measure-theory…
A MALL Geometry of Interaction Based on Indexed Linear Logic
Masahiro Hamano
We construct a geometry of interaction (GoI: dynamic modeling of Gentzen-style cut elimination) for multiplicative-additive linear logic (MALL) by employing Bucciarelli-Ehrhard ind…
Geometry of Interaction for MALL via Hughes-vanGlabbeek Proof-Nets
Masahiro Hamano
This paper presents, for the first time, a Geometry of Interaction (GoI) interpretation inspired from Hughes-vanGlabbeek (HvG) proof-nets for multiplicative additive linear logic (…
On Geometry of Interaction for Polarized Linear Logic
Masahiro Hamano, Philip Scott
We present Geometry of Interaction (GoI) models for Multiplicative Polarized Linear Logic, MLLP, which is the multiplicative fragment of Olivier Laurent's Polarized Linear Logic. T…
RNA interference and Register Machines (extended abstract)
Masahiro Hamano
RNA interference (RNAi) is a mechanism whereby small RNAs (siRNAs) directly control gene expression without assistance from proteins. This mechanism consists of interactions betwee…