The following pages link to Focusing in Linear Meta-logic (Q3541726):
Displaying 5 items.
- A framework for proof systems (Q707742) (← links)
- A simplified account of the metatheory of linear LF (Q2844807) (← links)
- Focusing in Linear Meta-logic (Q3541726) (← links)
- Specifying Proof Systems in Linear Logic with Subexponentials (Q5179015) (← links)
- On Lambek’s Restriction in the Presence of Exponential Modalities (Q5283424) (← links)