Pages that link to "Item:Q5164167"
From MaRDI portal
The following pages link to Deciding the Bisimilarity of Context-Free Session Types (Q5164167):
Displaying 6 items.
- Mixed sessions (Q2055956) (← links)
- Polymorphic lambda calculus with context-free session types (Q2105433) (← links)
- Nested session types (Q2233456) (← links)
- Mixed Sessions (Q5041119) (← links)
- Session Types with Arithmetic Refinements (Q5089277) (← links)
- Polymorphic higher-order context-free session types (Q6499549) (← links)
