Taking Linear Logic Apart

@article{Kokke2018TakingLL,
  title={Taking Linear Logic Apart},
  author={Wen Kokke and Fabrizio Montesi and Marco Peressotti},
  journal={CoRR},
  year={2018},
  volume={abs/1904.06848},
  pages={90-103}
}
  • Wen Kokke, Fabrizio Montesi, Marco Peressotti
  • Published in Linearity-TLLA@FLoC 2018
  • Mathematics, Computer Science
  • Process calculi based on logic, such as $\pi$DILL and CP, provide a foundation for deadlock-free concurrent programming. However, in previous work, there is a mismatch between the rules for constructing proofs and the term constructors of the $\pi$-calculus: the fundamental operator for parallel composition does not correspond to any rule of linear logic. Kokke et al. (2019) introduced Hypersequent Classical Processes (HCP), which addresses this mismatch using hypersequents (collections of… CONTINUE READING

    Create an AI-powered research feed to stay up to date with new papers like this posted to ArXiv

    2
    Twitter Mentions

    Citations

    Publications citing this paper.
    SHOWING 1-3 OF 3 CITATIONS

    Explorer Towards Races in Linear Logic

    VIEW 3 EXCERPTS
    CITES BACKGROUND

    Towards Races in Linear Logic

    VIEW 3 EXCERPTS
    CITES BACKGROUND

    References

    Publications referenced by this paper.
    SHOWING 1-10 OF 16 REFERENCES

    A Semantics for Propositions as Sessions

    VIEW 3 EXCERPTS
    HIGHLY INFLUENTIAL

    Session Types as Intuitionistic Linear Propositions

    VIEW 3 EXCERPTS
    HIGHLY INFLUENTIAL

    Choreographies, logically

    VIEW 2 EXCERPTS

    Hypersequents, logical consequence and intermediate logics for concurrency

    • Arnon Avron
    • Mathematics, Computer Science
    • Annals of Mathematics and Artificial Intelligence
    • 2005
    VIEW 1 EXCERPT

    On asynchrony in name-passing calculi

    VIEW 1 EXCERPT