The following pages link to (Q2968415):
Displaying 6 items.
- Hybrid and subexponential linear logics (Q1744445) (← links)
- On subexponentials, focusing and modalities in concurrent systems (Q2404074) (← links)
- Verification of spatial and temporal modalities in biochemical systems (Q2520667) (← links)
- A focused linear logical framework and its application to metatheory of object logics (Q5022931) (← links)
- Hybrid linear logic, revisited (Q5236552) (← links)
- A subexponential view of domains in session types (Q6661154) (← links)
