Pages that link to "Item:Q1744445"
From MaRDI portal
The following pages link to Hybrid and subexponential linear logics (Q1744445):
Displaying 5 items.
- Mechanizing focused linear logic in Coq (Q2333326) (← links)
- On subexponentials, focusing and modalities in concurrent systems (Q2404074) (← links)
- Hybrid linear logic, revisited (Q5236552) (← links)
- (Q5875401) (← links)
- A Survey of the Proof-Theoretic Foundations of Logic Programming (Q6063891) (← links)
