Pages that link to "Item:Q1781095"
From MaRDI portal
The following pages link to Relating categorical semantics for intuitionistic linear logic (Q1781095):
Displaying 13 items.
- Bousfield localization and algebras over colored operads (Q682076) (← links)
- Weak typed Böhm theorem on IMLL (Q866556) (← links)
- Synthetic domain theory and models of linear Abadi {\&} Plotkin logic (Q952487) (← links)
- Comparing hierarchies of types in models of linear logic (Q1881220) (← links)
- Game semantics for access control (Q2805155) (← links)
- Linear logic model of state revisited (Q4644612) (← links)
- Semantical observations on the embedding of Intuitionistic Logic into Intuitionistic Linear Logic (Q4847311) (← links)
- Linear Exponential Comonads without Symmetry (Q5014810) (← links)
- (Q5019687) (← links)
- The existential completion (Q5129224) (← links)
- A categorical reduction system for linear logic (Q5137919) (← links)
- Modelling Coeffects in the Relational Semantics of Linear Logic (Q5351981) (← links)
- The syntactic side of autonomous categories enriched over generalised metric spaces (Q6178714) (← links)