A Semantics for Propositions as Sessions

DOI10.1007/978-3-662-46669-8_23MaRDI QIDQ2802455zbMATH OpenOpenAlexFDO

Authors Sam Lindley, J. Garrett Morris

Publication date 26 April 2016

Published in Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-662-46669-8_23

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Functional programming and lambda calculus (68N18) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Linear logic propositions as session types
• Session types as intuitionistic linear propositions
• Propositions as sessions
• Propositions as sessions
• A semantic deconstruction of session types
• scientific article; zbMATH DE number 4016868
• scientific article; zbMATH DE number 4035794
• scientific article; zbMATH DE number 1696844
• A separation logic for a promising semantics

Cited in

(24)

• Modular inference of linear types for multiplicity-annotated arrows
• Taking linear logic apart
• Propositions as sessions
• Session-based concurrency in Maude: executable semantics and type checking
• Executable Semantics and Type Checking for Session-Based Concurrency in Maude
• Linear logic propositions as session types
• Propositions as sessions
• Certifying data in multiparty session types
• Conflation confers concurrency
• Linear \(\lambda \mu\) is CP (more or less)
• Corecursion and non-divergence in session-typed processes
• Session types without sophistry. System description
• Observed Communication Semantics for Classical Processes
• Fairness and communication-based semantics for session-typed languages
• Asynchronous session-based concurrency: deadlock-freedom in cyclic process networks
• Comparing session type systems derived from linear logic
• Non-linear communication via graded modal session types
• Asynchronous functional sessions: cyclic and concurrent
• Talking bananas: structural recursion for session types
• Towards races in linear logic
• Multiparty session types as coherence proofs
• A universal session type for untyped asynchronous communication
• Linear logical relations for session-based concurrency
• Higher-order processes, functions, and sessions: a monadic integration

This page was built for publication: A Semantics for Propositions as Sessions

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