A Semantics for Propositions as Sessions
DOI10.1007/978-3-662-46669-8_23zbMATH Open1335.68060OpenAlexW2293728411MaRDI QIDQ2802455FDOQ2802455
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
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
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)
Cited In (24)
- Modular inference of linear types for multiplicity-annotated arrows
- Taking linear logic apart
- Session-based concurrency in Maude: executable semantics and type checking
- Propositions as sessions
- 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
- Higher-order processes, functions, and sessions: a monadic integration
- Linear logical relations for session-based concurrency
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)
