Propositions as sessions
From MaRDI portal
Recommendations
Cites work
- A calculus of mobile processes. I
- A new constructive logic: classic logic
- Asynchronous communication model based on linear logic
- Behavioral equivalence in the polymorphic pi-calculus
- Computational interpretations of linear logic
- Genericity and the \(\pi\)-calculus
- HLCL '98. 3rd international workshop on High-level concurrent languages. Nice, France, September 12, 1998
- scientific article; zbMATH DE number 42059 (Why is no real title available?)
- Linear logic
- Linear type theory for asynchronous session types
- On asynchrony in name-passing calculi
- On the \(\pi\)-calculus and linear logic
- Proofs as processes
- Structural recursion with locally scoped names
- Subtyping for session types in the pi calculus
Cited in
(53)- Multiparty session types, beyond duality
- Choreographies, logically
- On the concurrent computational content of intermediate logics
- Session types without sophistry. System description
- Mixed sessions
- Polymorphic lambda calculus with context-free session types
- Causal computational complexity of distributed processes
- Certifying choreography compilation
- Parametrized fixed points and their applications to session types
- Multiparty session types as coherence proofs
- Fairness and communication-based semantics for session-typed languages
- Event structure semantics for multiparty sessions
- On the hardness of proving CCA-security of Signed ElGamal
- A Semantics for Propositions as Sessions
- Multiparty Session Types Within a Canonical Binary Theory, and Beyond
- Effects as sessions, sessions as effects
- Observed Communication Semantics for Classical Processes
- Context-free session type inference
- A higher-order logic for concurrent termination-preserving refinement
- Assembling Sessions
- Behavioural analysis of sessions using the calculus of structures
- Conflation confers concurrency
- Linear is CP (more or less)
- Certifying data in multiparty session types
- Classical proofs as parallel programs
- Verifiable abstractions for contract-oriented systems
- Propositions
- scientific article; zbMATH DE number 7453964 (Why is no real title available?)
- Mixed sessions
- Proof nets for first-order additive linear logic
- Towards races in linear logic
- Propositions as sessions
- A simple library implementation of binary sessions
- Domain-aware session types
- Concurrent Process Histories and Resource Transducers
- Focused linear logic and the \(\lambda\)-calculus
- When programs have to watch paint dry
- A Theory of Formal Choreographic Languages
- Protocol choice and iteration for the free cornering
- Session-based concurrency in Maude: executable semantics and type checking
- Extracting total Amb programs from proofs
- Executable Semantics and Type Checking for Session-Based Concurrency in Maude
- Safe session-based concurrency with shared linear state
- 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
- Non-linear communication via graded modal session types
- Around classical and intuitionistic linear processes
- Extensional and non-extensional functions as processes
- Object-level reasoning with logics encoded in HOL Light
- Using -calculus names as locks
- A typed parallel -calculus via 1-depth intermediate proofs
This page was built for publication: Propositions as sessions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2875234)
