The following pages link to (Q4649549):
Displaying 5 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)
- (Q5875401) (← links)
