Pages that link to "Item:Q3584932"
From MaRDI portal
The following pages link to Session Types as Intuitionistic Linear Propositions (Q3584932):
Displaying 33 items.
- Relating Functional and Imperative Session Types (Q5043592) (← links)
- (Q5089024) (← links)
- Session Types with Arithmetic Refinements (Q5089277) (← links)
- (Q5094136) (← links)
- (Q5094146) (← links)
- (Q5141618) (← links)
- Non-linearity as the Metric Completion of Linearity (Q5300890) (← links)
- On asynchronous eventful session semantics (Q5741564) (← links)
- Linear logic propositions as session types (Q5741566) (← links)
- Fair subtyping for multi-party session types (Q5741567) (← links)
- An extensible approach to session polymorphism (Q5741569) (← links)
- Modelling session types using contracts (Q5741570) (← links)
- Relating reasoning methodologies in linear logic and process algebra (Q5741581) (← links)
- (Q5875401) (← links)
- Concurrent Process Histories and Resource Transducers (Q5883753) (← links)
- Session-typed concurrent contracts (Q5925542) (← links)
- ElixirST: a session-based type system for elixir modules (Q6052942) (← links)
- Non-Deterministic Functions as Non-Deterministic Processes (Extended Version) (Q6076174) (← links)
- Stateful Behavioral Types for Active Objects (Q6104495) (← links)
- Separating Sessions Smoothly (Q6135771) (← links)
- Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic (Q6137846) (← links)
- A formal theory of choreographic programming (Q6161233) (← links)
- Safe session-based concurrency with shared linear state (Q6535247) (← links)
- Resource sharing via capability-based multiparty session types (Q6536357) (← links)
- Linear resources in Isabelle/HOL (Q6552504) (← links)
- Global types and event structure semantics for asynchronous multiparty sessions (Q6614546) (← links)
- Asynchronous session-based concurrency: deadlock-freedom in cyclic process networks (Q6635516) (← links)
- Comparing session type systems derived from linear logic (Q6643467) (← links)
- Quantum CPOs (Q6645582) (← links)
- Non-linear communication via graded modal session types (Q6647771) (← links)
- Exponentials as substitutions and the cost of cut elimination in linear logic (Q6649484) (← links)
- Deadlock freedom for asynchronous and cyclic process networks (Q6649541) (← links)
- A subexponential view of domains in session types (Q6661154) (← links)
