Corpus ID: 225076399

Client-Server Sessions in Linear Logic

  title={Client-Server Sessions in Linear Logic},
  author={Zesen Qian and G. A. Kavvos and L. Birkedal},
  • Zesen Qian, G. A. Kavvos, L. Birkedal
  • Published 2020
  • Computer Science
  • ArXiv
  • We introduce coexponentials, a new set of modalities for Classical Linear Logic. As duals to exponentials, the coexponentials codify a distributed form of the structural rules of weakening and contraction. This makes them a suitable logical device for encapsulating the pattern of a server receiving requests from an arbitrary number of clients on a single channel. Guided by this intuition we formulate a system of session types based on Classical Linear Logic with coexponentials, which is well… CONTINUE READING

    Figures from this paper


    Fundamentals of session types
    • 84
    • PDF
    Multiparty Session Types as Coherence Proofs
    • 25
    • PDF
    Dynamic multirole session types
    • 124
    • PDF
    Session Types as Intuitionistic Linear Propositions
    • 286
    • PDF
    Subnets of Proof-Nets in Multiplicative Linear Logic with MIX
    • G. Bellin
    • Mathematics, Computer Science
    • Math. Struct. Comput. Sci.
    • 1997
    • 27
    • PDF
    Talking bananas: structural recursion for session types
    • 40
    • Highly Influential
    • PDF
    Computational Interpretations of Linear Logic
    • 504
    Linear logic propositions as session types
    • 79
    • PDF
    Corecursion and Non-divergence in Session-Typed Processes
    • 24