Search Results - Hamano, Masahiro

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

    A linear exponential comonad in s-finite transition kernels and probabilistic coherent spaces by Hamano, Masahiro

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  2. 2
    RNA interference and Register Machines (extended abstract)

    RNA interference and Register Machines (extended abstract) by Hamano, Masahiro

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  3. 3
    A MALL geometry of interaction based on indexed linear logic

    A MALL geometry of interaction based on indexed linear logic by Hamano, Masahiro

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  4. 4
    Geometry of Interaction for MALL via Hughes--Van Glabbeek Proof-Nets

    Geometry of Interaction for MALL via Hughes--Van Glabbeek Proof-Nets by Hamano, Masahiro

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  5. 5
    On geometry of interaction for polarized linear logic

    On geometry of interaction for polarized linear logic by HAMANO, MASAHIRO, SCOTT, PHILIP

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  6. 6
    A MALL Geometry of Interaction Based on Indexed Linear Logic

    A MALL Geometry of Interaction Based on Indexed Linear Logic by Hamano, Masahiro

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  7. 7
    Double Glueing over Free Exponential: with Measure Theoretic Applications

    Double Glueing over Free Exponential: with Measure Theoretic Applications by Hamano, Masahiro

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  8. 8
    A phase semantics for polarized linear logic and second order conservativity

    A phase semantics for polarized linear logic and second order conservativity by Hamano, Masahiro, Takemura, Ryo

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  9. 9
    Stochastic Transcription Elongation via Rule Based Modelling

    Stochastic Transcription Elongation via Rule Based Modelling by Hamano, Masahiro

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  10. 10
    A Linear Exponential Comonad in s-finite Transition Kernels and Probabilistic Coherent Spaces

    A Linear Exponential Comonad in s-finite Transition Kernels and Probabilistic Coherent Spaces by Hamano, Masahiro

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  11. 11
    A categorical semantics for polarized MALL

    A categorical semantics for polarized MALL by Hamano, Masahiro, Scott, Philip

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  12. 12
    Sustainability of RNA-interference in Rule Based Modelling

    Sustainability of RNA-interference in Rule Based Modelling by Hamano, Masahiro

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  13. 13
    A direct independence proof of Buchholz's Hydra Game on finite labeled trees

    A direct independence proof of Buchholz's Hydra Game on finite labeled trees by Hamano, Masahiro, Okada, Mitsuhiro

    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  14. 14
    Softness of MALL proof-structures and a correctness criterion with Mix

    Softness of MALL proof-structures and a correctness criterion with Mix by Hamano, Masahiro

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  15. 15
    Geometry of Interaction for MALL via Hughes-vanGlabbeek Proof-Nets

    Geometry of Interaction for MALL via Hughes-vanGlabbeek Proof-Nets by Hamano, Masahiro

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  16. 16
    [formula omitted]-modules and full completeness of multiplicative linear logic

    [formula omitted]-modules and full completeness of multiplicative linear logic by Hamano, Masahiro

    Get full text
    Article
    Save to List
    Saved in:
  17. 17
    Pontrjagin duality and full completeness for multiplicative linear logic (without Mix)

    Pontrjagin duality and full completeness for multiplicative linear logic (without Mix) by HAMANO, MASAHIRO

    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  18. 18
    RNA interference and Register Machines (extended abstract)

    RNA interference and Register Machines (extended abstract) by Hamano, Masahiro

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  19. 19
    Plasma lipid levels and nutritional intake in childhood- and adolescence-onset young type 1 diabetic patients in Japan

    Plasma lipid levels and nutritional intake in childhood- and adolescence-onset young type 1 diabetic patients in Japan by Saito, Mieko, Kuratsune, Hiromi, Nitta, Hayami, Kawahara, Kazue, Hamano, Masahiro, Matsuda, Masafumi, Kaku, Kohei, Eto, Masaaki

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  20. 20
    Z-modules and full completeness of multiplicative linear logic

    Z-modules and full completeness of multiplicative linear logic by Hamano, Masahiro

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:

Search Tools: