Pages that link to "Item:Q5326294"

The following pages link to Behavioral Polymorphism and Parametricity in Session-Based Communication (Q5326294):

Displaying 16 items.

• Linear logical relations and observational equivalences for session-based concurrency (Q476190) (← links)
• Polymorphic lambda calculus with context-free session types (Q2105433) (← links)
• Nested session types (Q2233456) (← links)
• Session coalgebras: a coalgebraic view on session types and communication protocols (Q2233467) (← links)
• Multiparty session types as coherence proofs (Q2357654) (← links)
• Session types revisited (Q2407105) (← links)
• Corecursion and Non-divergence in Session-Typed Processes (Q2811932) (← links)
• Multiparty Session Types Within a Canonical Binary Theory, and Beyond (Q2827461) (← links)
• On session types and polynomial time (Q2971079) (← links)
• Linearity, Control Effects, and Behavioral Types (Q2988641) (← links)
• A Higher-Order Logic for Concurrent Termination-Preserving Refinement (Q2988673) (← links)
• (Q5009447) (← links)
• Session Types with Arithmetic Refinements (Q5089277) (← links)
• An extensible approach to session polymorphism (Q5741569) (← links)
• (Q5875401) (← links)
• Polymorphic higher-order context-free session types (Q6499549) (← links)