The following pages link to (Q3384912):
Displaying 4 items.
- Polymorphic lambda calculus with context-free session types (Q2105433) (← links)
- Session coalgebras: a coalgebraic view on session types and communication protocols (Q2233467) (← links)
- Session typing and asynchronous subtyping for the higher-order \(\pi\)-calculus (Q2343135) (← links)
- Algorithmic type checking for a pi-calculus with name matching and session types (Q2436508) (← links)