The following pages link to (Q4649549):
Displaying 11 items.
- A message-passing interpretation of adjoint logic (Q2035649) (← links)
- Mechanizing focused linear logic in Coq (Q2333326) (← links)
- Session typing and asynchronous subtyping for the higher-order \(\pi\)-calculus (Q2343135) (← links)
- Substructural Proofs as Automata (Q3179272) (← links)
- (Q5028463) (← links)
- (Q5094136) (← links)
- (Q5875401) (← links)
- Asynchronous session-based concurrency: deadlock-freedom in cyclic process networks (Q6635516) (← links)
- Comparing session type systems derived from linear logic (Q6643467) (← links)
- Deadlock freedom for asynchronous and cyclic process networks (Q6649541) (← links)
- A subexponential view of domains in session types (Q6661154) (← links)
