Pages that link to "Item:Q5741566"
From MaRDI portal
The following pages link to Linear logic propositions as session types (Q5741566):
Displaying 42 items.
- Fundamentals of session types (Q714736) (← links)
- Multiparty session types, beyond duality (Q1647963) (← links)
- A message-passing interpretation of adjoint logic (Q2035649) (← links)
- Mixed sessions (Q2055956) (← links)
- Processes against tests: on defining contextual equivalences (Q2079681) (← links)
- Polymorphic lambda calculus with context-free session types (Q2105433) (← links)
- Nested session types (Q2233456) (← links)
- On concurrent behaviors and focusing in linear logic (Q2358701) (← links)
- Comparing type systems for deadlock freedom (Q2667185) (← links)
- Event structure semantics for multiparty sessions (Q2683035) (← links)
- A Semantics for Propositions as Sessions (Q2802455) (← links)
- Propositions as sessions (Q2875234) (← links)
- Linear Logical Relations for Session-Based Concurrency (Q2892750) (← links)
- Linearity, Control Effects, and Behavioral Types (Q2988641) (← links)
- Affine sessions (Q4558783) (← links)
- (Q4989404) (← links)
- A practical type theory for symmetric monoidal categories (Q5006460) (← links)
- A universal session type for untyped asynchronous communication (Q5009447) (← links)
- (Q5013868) (← links)
- (Q5014811) (← links)
- A focused linear logical framework and its application to metatheory of object logics (Q5022931) (← links)
- (Q5028463) (← links)
- Mixed Sessions (Q5041119) (← links)
- Session Types with Arithmetic Refinements (Q5089277) (← links)
- Probabilistic Analysis of Binary Sessions (Q5089279) (← links)
- (Q5094136) (← links)
- Hybrid linear logic, revisited (Q5236552) (← links)
- Constructing weak simulations from linear implications for processes with private names (Q5236556) (← links)
- (Q5875401) (← links)
- Session-typed concurrent contracts (Q5925542) (← links)
- Session-based concurrency in Maude: executable semantics and type checking (Q6156938) (← links)
- Executable Semantics and Type Checking for Session-Based Concurrency in Maude (Q6487298) (← links)
- Safe session-based concurrency with shared linear state (Q6535247) (← links)
- Towards logical foundations for probabilistic computation (Q6560995) (← links)
- Fair termination of multiparty sessions (Q6561335) (← links)
- Global types and event structure semantics for asynchronous multiparty sessions (Q6614546) (← links)
- A logical account of subtyping for session types (Q6615560) (← links)
- Asynchronous session-based concurrency: deadlock-freedom in cyclic process networks (Q6635516) (← links)
- Comparing session type systems derived from linear logic (Q6643467) (← links)
- Curry and Howard meet Borel (Q6649480) (← links)
- Processes, systems \& tests: defining contextual equivalences (Q6649539) (← links)
- A subexponential view of domains in session types (Q6661154) (← links)
