Pages that link to "Item:Q2988669"
From MaRDI portal
The following pages link to Context-Free Session Type Inference (Q2988669):
Displaying 6 items.
- Polymorphic lambda calculus with context-free session types (Q2105433) (← links)
- Context-Free Session Type Inference (Q2988669) (← links)
- Relating Functional and Imperative Session Types (Q5043592) (← links)
- Deciding the Bisimilarity of Context-Free Session Types (Q5164167) (← links)
- A simple library implementation of binary sessions (Q5371999) (← links)
- The different shades of infinite session types (Q6141781) (← links)
