scientific article; zbMATH DE number 7450003

zbMath1487.03072arXiv1904.06848MaRDI QIDQ5018488

Fabrizio Montesi, Marco Peressotti, Wen Kokke

Publication date: 20 December 2021

Full work available at URL: https://arxiv.org/abs/1904.06848

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Related Items

Separating Sessions Smoothly, Prioritise the best variation

Cites Work

• Linear logic
• \(\pi\)-calculus, internal mobility, and agent-passing calculi
• A calculus of mobile processes. I
• A calculus of mobile processes. II
• On the expressiveness of internal mobility in name-passing calculi
• Proofs as processes
• On the \(\pi\)-calculus and linear logic
• Hypersequents, logical consequence and intermediate logics for concurrency
• Choreographies, logically
• Session types revisited
• A Semantics for Propositions as Sessions
• Talking bananas: structural recursion for session types
• Session Types as Intuitionistic Linear Propositions
• On asynchrony in name-passing calculi
• Propositions as sessions
• Linear type theory for asynchronous session types