Session types as intuitionistic linear propositions
From MaRDI portal
Recommendations
Cited in
(only showing first 100 items - show all)- Multiparty session types, beyond duality
- Choreographies, logically
- On the concurrent computational content of intermediate logics
- A core model for choreographic programming
- A message-passing interpretation of adjoint logic
- Mixed sessions
- Polymorphic lambda calculus with context-free session types
- Causal computational complexity of distributed processes
- Parametrized fixed points and their applications to session types
- Nested session types
- Session coalgebras: a coalgebraic view on session types and communication protocols
- On polymorphic sessions and functions. A tale of two (fully abstract) encodings
- Session typing and asynchronous subtyping for the higher-order \(\pi\)-calculus
- Multiparty session types as coherence proofs
- Session types revisited
- Comparing type systems for deadlock freedom
- Fairness and communication-based semantics for session-typed languages
- Event structure semantics for multiparty sessions
- A Semantics for Propositions as Sessions
- Session Types with Gradual Typing
- Corecursion and non-divergence in session-typed processes
- Multiparty Session Types Within a Canonical Binary Theory, and Beyond
- Type-Based Analysis for Session Inference (Extended Abstract)
- Propositions as sessions
- On projecting processes into session types
- Linear logical relations for session-based concurrency
- Functions as session-typed processes
- On session types and polynomial time
- Observed Communication Semantics for Classical Processes
- Linearity, control effects, and behavioral types
- \textsc{Lincx}: a linear logical framework with first-class contexts
- A higher-order logic for concurrent termination-preserving refinement
- Proof-carrying code in a session-typed process calculus
- Behavioural analysis of sessions using the calculus of structures
- Substructural proofs as automata
- Binary session types for psi-calculi
- Conflation confers concurrency
- I got plenty o' nuttin'
- Linear is CP (more or less)
- Certifying data in multiparty session types
- Verifiable abstractions for contract-oriented systems
- A linear account of session types in the pi calculus
- Affine sessions
- The true concurrency of differential interaction nets
- Cut reduction in linear logic as asynchronous session-typed communication
- Linear logical relations and observational equivalences for session-based concurrency
- scientific article; zbMATH DE number 6131659 (Why is no real title available?)
- A universal session type for untyped asynchronous communication
- Comparing deadlock-free session typed processes
- Non-blocking concurrent imperative programming with session types
- scientific article; zbMATH DE number 7441269 (Why is no real title available?)
- Taking linear logic apart
- scientific article; zbMATH DE number 7453964 (Why is no real title available?)
- Rast: a language for resource-aware session types
- Relating Functional and Imperative Session Types
- Proof nets for first-order additive linear logic
- Session Types with Arithmetic Refinements
- Circular proofs as session-typed processes: a local validity condition
- \textbf{Actris 2.0}: asynchronous session-type based reasoning in separation logic
- Towards races in linear logic
- On sessions and infinite data
- Non-linearity as the metric completion of linearity
- Linearity, session types and the pi calculus
- On asynchronous eventful session semantics
- Linear logic propositions as session types
- Fair subtyping for multi-party session types
- An extensible approach to session polymorphism
- Modelling session types using contracts
- Relating reasoning methodologies in linear logic and process algebra
- Domain-aware session types
- Concurrent Process Histories and Resource Transducers
- Session-typed concurrent contracts
- Stateful Behavioral Types for Active Objects
- Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic
- A formal theory of choreographic programming
- Asynchronous functional sessions: cyclic and concurrent
- Safe session-based concurrency with shared linear state
- Resource sharing via capability-based multiparty session types
- Linear resources in Isabelle/HOL
- Global types and event structure semantics for asynchronous multiparty sessions
- Asynchronous session-based concurrency: deadlock-freedom in cyclic process networks
- Comparing session type systems derived from linear logic
- Quantum CPOs
- Non-linear communication via graded modal session types
- Exponentials as substitutions and the cost of cut elimination in linear logic
- Deadlock freedom for asynchronous and cyclic process networks
- A subexponential view of domains in session types
- Typed non-determinism in concurrent calculi: the eager way
- Rast: resource-aware session types with arithmetic refinements (system description)
- Semi-axiomatic sequent calculus
- Around classical and intuitionistic linear processes
- Adjoint natural deduction
- A gentle overview of asynchronous session-based concurrency: deadlock freedom by typing
- Object-level reasoning with logics encoded in HOL Light
- Using -calculus names as locks
- EXPRESSing session types
- A typed parallel -calculus via 1-depth intermediate proofs
- Worst-case input generation for concurrent programs under non-monotone resource metrics
- Fundamentals of session types
- Less is more revisited: association with global protocols and multiparty sessions
This page was built for publication: Session types as intuitionistic linear propositions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3584932)
