Pages that link to "Item:Q5179015"
From MaRDI portal
The following pages link to Specifying Proof Systems in Linear Logic with Subexponentials (Q5179015):
Displaying 10 items.
- Dynamic spaces in concurrent constraint programming (Q281160) (← links)
- Subexponential concurrent constraint programming (Q897936) (← links)
- Hybrid and subexponential linear logics (Q1744445) (← links)
- Finite-valued semantics for canonical labelled calculi (Q2351396) (← links)
- On subexponentials, focusing and modalities in concurrent systems (Q2404074) (← links)
- A framework for linear authorization logics (Q2449046) (← links)
- Expressing additives using multiplicatives and subexponentials (Q4637626) (← links)
- (Q5015208) (← links)
- Hybrid linear logic, revisited (Q5236552) (← links)
- A Survey of the Proof-Theoretic Foundations of Logic Programming (Q6063891) (← links)
