Pages that link to "Item:Q2988641"
From MaRDI portal
The following pages link to Linearity, Control Effects, and Behavioral Types (Q2988641):
Displayed 4 items.
- A message-passing interpretation of adjoint logic (Q2035649) (← links)
- An interpretation of CCS into ludics (Q2333316) (← links)
- Comparing type systems for deadlock freedom (Q2667185) (← links)
- Non-Deterministic Functions as Non-Deterministic Processes (Extended Version) (Q6076174) (← links)