Corpus ID: 17880608

A MALL Geometry of Interaction Based on Indexed Linear Logic

@article{Hamano2017AMG,
  title={A MALL Geometry of Interaction Based on Indexed Linear Logic},
  author={Masahiro Hamano},
  journal={ArXiv},
  year={2017},
  volume={abs/1704.02711}
}
  • Masahiro Hamano
  • Published 2017
  • Computer Science, Mathematics
  • ArXiv
  • We construct a geometry of interaction (GoI; dynamic modeling of Gentzen style cut elimination) for multiplicative additive linear logic (MALL) by employing the Bucciarelli-Ehrhard MALL(I) of indexed linear logic to handle the additives. Our construction is an extension to the additives of the Haghverdi-Scott categorical formulation (a multiplicative GoI situation in a traced monoidal category) for Girard's original GoI I. The indexes are shown to serve not only in their original denotational… CONTINUE READING

    Figures and Topics from this paper.

    References

    Publications referenced by this paper.
    SHOWING 1-10 OF 16 REFERENCES
    Catadioptric sensors that approximate wide-angle perspective projections
    111
    Implantation of olfactory ensheathing cells promotes neuroplasticity in murine models of stroke.
    87
    Software Reclamation: Improving Post-Development Reusability
    7
    On Phase Semantics and Denotational Semantics in Multiplicative-Additive Linear Logic
    21
    La localisation en logique : géométrie de l'interaction et sémantique dénotationnelle
    4
    Geometry of Interaction 1: Interpretation of System F
    280
    An Indexed System for Multiplicative Additive Polarized Linear Logic
    3