Pages that link to "Item:Q3646423"
From MaRDI portal
The following pages link to On the categorical semantics of elementary linear logic (Q3646423):
Displaying 9 items.
- Stratified coherence spaces: A denotational semantics for light linear logic (Q1827389) (← links)
- Polynomial time in untyped elementary linear logic (Q1989326) (← links)
- Graded Hoare logic and its categorical semantics (Q2233460) (← links)
- An abstract approach to stratification in linear logic (Q2343125) (← links)
- Categorical semantics for subexponentials in SELL (Q2877990) (← links)
- Categorical proof theory of co-intuitionistic linear logic (Q2921113) (← links)
- (Q3351360) (← links)
- (Q3367300) (← links)
- Lifting coalgebra modalities and IMELL model structure to Eilenberg-Moore categories (Q4993351) (← links)