Pages that link to "Item:Q3584932"
From MaRDI portal
The following pages link to Session Types as Intuitionistic Linear Propositions (Q3584932):
Displayed 50 items.
- Verifiable abstractions for contract-oriented systems (Q347375) (← links)
- Linear logical relations and observational equivalences for session-based concurrency (Q476190) (← links)
- Fundamentals of session types (Q714736) (← links)
- Combining behavioural types with security analysis (Q890614) (← links)
- Multiparty session types, beyond duality (Q1647963) (← links)
- Choreographies, logically (Q1699421) (← links)
- On the concurrent computational content of intermediate logics (Q1989344) (← 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)
- Causal computational complexity of distributed processes (Q2112798) (← links)
- Prioritise the best variation (Q2117016) (← links)
- Parametrized fixed points and their applications to session types (Q2133474) (← links)
- Nested session types (Q2233456) (← links)
- Session typing and asynchronous subtyping for the higher-order \(\pi\)-calculus (Q2343135) (← links)
- Multiparty session types as coherence proofs (Q2357654) (← links)
- Session types revisited (Q2407105) (← links)
- Comparing type systems for deadlock freedom (Q2667185) (← links)
- Fairness and communication-based semantics for session-typed languages (Q2672270) (← links)
- Event structure semantics for multiparty sessions (Q2683035) (← links)
- Session Types with Gradual Typing (Q2811931) (← links)
- Corecursion and Non-divergence in Session-Typed Processes (Q2811932) (← links)
- Multiparty Session Types Within a Canonical Binary Theory, and Beyond (Q2827461) (← links)
- Type-Based Analysis for Session Inference (Extended Abstract) (Q2827469) (← links)
- On projecting processes into session types (Q2883119) (← links)
- On session types and polynomial time (Q2971079) (← links)
- Observed Communication Semantics for Classical Processes (Q2988633) (← links)
- Linearity, Control Effects, and Behavioral Types (Q2988641) (← links)
- LINCX: A Linear Logical Framework with First-Class Contexts (Q2988658) (← links)
- A Higher-Order Logic for Concurrent Termination-Preserving Refinement (Q2988673) (← links)
- Proof-Carrying Code in a Session-Typed Process Calculus (Q3100198) (← links)
- Behavioural Analysis of Sessions Using the Calculus of Structures (Q3179170) (← links)
- Substructural Proofs as Automata (Q3179272) (← links)
- Conflation Confers Concurrency (Q3188279) (← 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)
- (Q4558783) (← links)
- The true concurrency of differential interaction nets (Q4577982) (← links)
- (Q5009447) (← links)
- (Q5013868) (← links)
- (Q5014811) (← links)
- (Q5014814) (← links)
- (Q5018488) (← links)
- (Q5020946) (← links)
- (Q5028463) (← links)
- Relating Functional and Imperative Session Types (Q5043592) (← links)
- (Q5089024) (← links)
- Session Types with Arithmetic Refinements (Q5089277) (← links)