The following pages link to (Q2968415):
Displaying 5 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)
