The following pages link to Propositions as sessions (Q5168904):
Displaying 48 items.
- Linear logical relations and observational equivalences for session-based concurrency (Q476190) (← links)
- Multiparty session types, beyond duality (Q1647963) (← links)
- A core model for choreographic programming (Q2007727) (← links)
- A message-passing interpretation of adjoint logic (Q2035649) (← links)
- Mixed sessions (Q2055956) (← links)
- Polymorphic lambda calculus with context-free session types (Q2105433) (← links)
- Prioritise the best variation (Q2117016) (← links)
- Nested session types (Q2233456) (← links)
- Multiparty session types as coherence proofs (Q2357654) (← links)
- On concurrent behaviors and focusing in linear logic (Q2358701) (← links)
- Session types revisited (Q2407105) (← links)
- Comparing type systems for deadlock freedom (Q2667185) (← links)
- On the Hardness of Proving CCA-Security of Signed ElGamal (Q2798771) (← links)
- A Semantics for Propositions as Sessions (Q2802455) (← links)
- Session Types with Gradual Typing (Q2811931) (← links)
- Corecursion and Non-divergence in Session-Typed Processes (Q2811932) (← links)
- Type-Based Analysis for Session Inference (Extended Abstract) (Q2827469) (← links)
- Effects as sessions, sessions as effects (Q2828297) (← links)
- Propositions as sessions (Q2875234) (← links)
- Observed Communication Semantics for Classical Processes (Q2988633) (← links)
- Linearity, Control Effects, and Behavioral Types (Q2988641) (← links)
- Assembling Sessions (Q3172919) (← links)
- I Got Plenty o’ Nuttin’ (Q3188289) (← links)
- Linear $$ \lambda \mu $$ is $$ \textsc {CP} $$ (more or less) (Q3188293) (← links)
- Certifying Data in Multiparty Session Types (Q3188299) (← links)
- Affine sessions (Q4558783) (← links)
- Propositions (Q4603197) (← links)
- A linear/producer/consumer model of classical linear logic (Q4637629) (← links)
- COCHIS: Stable and coherent implicits (Q4972074) (← links)
- (Q5013868) (← links)
- (Q5018488) (← links)
- (Q5028463) (← links)
- Mixed Sessions (Q5041119) (← links)
- Session Types with Arithmetic Refinements (Q5089277) (← links)
- (Q5094136) (← links)
- (Q5141618) (← links)
- Non-Deterministic Functions as Non-Deterministic Processes (Extended Version) (Q6076174) (← links)
- Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic (Q6137846) (← links)
- Polymorphic higher-order context-free session types (Q6499549) (← 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)
- Towards logical foundations for probabilistic computation (Q6560995) (← 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)
- Exponentials as substitutions and the cost of cut elimination in linear logic (Q6649484) (← links)
- Deadlock freedom for asynchronous and cyclic process networks (Q6649541) (← links)
