A Semantics for Propositions as Sessions

DOI10.1007/978-3-662-46669-8_23zbMath1335.68060OpenAlexW2293728411MaRDI QIDQ2802455

J. Garrett Morris, Sam Lindley

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

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

Related Items (13)

Multiparty session types as coherence proofs ⋮ Modular Inference of Linear Types for Multiplicity-Annotated Arrows ⋮ Conflation Confers Concurrency ⋮ Linear $$ \lambda \mu $$ is $$ \textsc {CP} $$ (more or less) ⋮ Certifying Data in Multiparty Session Types ⋮ Separating Sessions Smoothly ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Observed Communication Semantics for Classical Processes ⋮ Session types without sophistry. System description ⋮ Unnamed Item ⋮ Prioritise the best variation

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