scientific article; zbMATH DE number 7288620

MaRDI QIDQ5141618

Philip Wadler, J. Garrett Morris, Wen Kokke

Publication date: 18 December 2020

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

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

zbMATH Keywords

linear logic\(\pi\)-calculussession typesnon-determinismdeadlock freedom

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Cites Work

• \(\pi\)-calculus, internal mobility, and agent-passing calculi
• Fundamentals of session types
• Bounded linear logic: A modular approach to polynomial-time computability
• A calculus of mobile processes. II
• On the expressiveness of internal mobility in name-passing calculi
• A Semantics for Propositions as Sessions
• Talking bananas: structural recursion for session types
• Conflation Confers Concurrency
• Session Types as Intuitionistic Linear Propositions
• Propositions as sessions

This page was built for publication: