Pages that link to "Item:Q5179015"

The following pages link to Specifying Proof Systems in Linear Logic with Subexponentials (Q5179015):

Displaying 2 items.

• Hybrid and subexponential linear logics (Q1744445) (← links)
• On subexponentials, focusing and modalities in concurrent systems (Q2404074) (← links)