Taking linear logic apart

zbMATH Open1487.03072arXiv1904.06848MaRDI QIDQ5018488FDOQ5018488

Authors: Wen Kokke, Fabrizio Montesi, Marco Peressotti 

Publication date: 20 December 2021

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

Recommendations

• Towards races in linear logic
• Concurrent programming as proof net construction
• A new linear logic for deadlock-free session-typed processes
• On the \(\pi\)-calculus and linear logic
• scientific article; zbMATH DE number 1361538

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (3)

• Fair termination of multiparty sessions
• A pragmatic, scalable approach to correct-by-construction process composition using classical linear logic inference
• Towards races in linear logic

This page was built for publication: Taking linear logic apart

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5018488)