Taking linear logic apart

MaRDI QIDQ5018488zbMATH OpenFDO

Authors Wen Kokke, Fabrizio Montesi, Marco Peressotti

Publication date 20 December 2021

Full work available at URL https://arxiv.org/abs/1904.06848, http://eptcs.web.cse.unsw.edu.au/paper.cgi?LinearityTLLA2018.5

Mathematics Subject Classification ID

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

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

Cites work

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

Cited in

(3)

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

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)