Recommendations
- Session types as intuitionistic linear propositions
- Linear logical relations for session-based concurrency
- Linearity, session types and the pi calculus
- scientific article; zbMATH DE number 786485
- scientific article; zbMATH DE number 2152687
- A linear account of session types in the pi calculus
- Linear logical relations and observational equivalences for session-based concurrency
- scientific article; zbMATH DE number 1104361
- The logic of linear propositions
- A Semantics for Propositions as Sessions
Cites work
- \(\pi\)-calculus, internal mobility, and agent-passing calculi
- A linear account of session types in the pi calculus
- A linear logical framework
- An exact correspondence between a typed pi-calculus and polarised proof-nets
- Computational interpretations of linear logic
- Correspondence assertions for process synchronization in concurrent communications
- Functions as processes
- Linear logic
- Linearity and bisimulation
- Logical Semantics of Types for Concurrency
- On asynchrony in name-passing calculi
- On the \(\pi\)-calculus and linear logic
- On the expressiveness of internal mobility in name-passing calculi
- Session types as intuitionistic linear propositions
- Subtyping for session types in the pi calculus
Cited in
(57)- Multiparty session types, beyond duality
- A message-passing interpretation of adjoint logic
- Mixed sessions
- Processes against tests: on defining contextual equivalences
- Polymorphic lambda calculus with context-free session types
- Nested session types
- On concurrent behaviors and focusing in linear logic
- Comparing type systems for deadlock freedom
- Event structure semantics for multiparty sessions
- A Semantics for Propositions as Sessions
- Propositions as sessions
- Linear logical relations for session-based concurrency
- Linearity, control effects, and behavioral types
- Session types as intuitionistic linear propositions
- A linear account of session types in the pi calculus
- Affine sessions
- Cut reduction in linear logic as asynchronous session-typed communication
- Linearly refined session types
- LNL-FPC: the linear/non-linear fixpoint calculus
- A practical type theory for symmetric monoidal categories
- A universal session type for untyped asynchronous communication
- Comparing deadlock-free session typed processes
- Non-blocking concurrent imperative programming with session types
- A focused linear logical framework and its application to metatheory of object logics
- Rast: a language for resource-aware session types
- Mixed sessions
- Session Types with Arithmetic Refinements
- Probabilistic Analysis of Binary Sessions
- Circular proofs as session-typed processes: a local validity condition
- Hybrid linear logic, revisited
- Constructing weak simulations from linear implications for processes with private names
- Substructural Type Systems for Program Analysis
- Linearity, session types and the pi calculus
- Domain-aware session types
- Session-typed concurrent contracts
- Session-based concurrency in Maude: executable semantics and type checking
- Extracting total Amb programs from proofs
- Asynchronous functional sessions: cyclic and concurrent
- Executable Semantics and Type Checking for Session-Based Concurrency in Maude
- Safe session-based concurrency with shared linear state
- Towards logical foundations for probabilistic computation
- Fair termination of multiparty sessions
- Global types and event structure semantics for asynchronous multiparty sessions
- A logical account of subtyping for session types
- Asynchronous session-based concurrency: deadlock-freedom in cyclic process networks
- Comparing session type systems derived from linear logic
- Curry and Howard meet Borel
- Processes, systems \& tests: defining contextual equivalences
- A subexponential view of domains in session types
- Rast: resource-aware session types with arithmetic refinements (system description)
- Semi-axiomatic sequent calculus
- Around classical and intuitionistic linear processes
- Adjoint natural deduction
- Extensional and non-extensional functions as processes
- A gentle overview of asynchronous session-based concurrency: deadlock freedom by typing
- EXPRESSing session types
- Fundamentals of session types
This page was built for publication: Linear logic propositions as session types
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5741566)
