Pages that link to "Item:Q2639952"
From MaRDI portal
The following pages link to Accessible categories and models of linear logic (Q2639952):
Displaying 8 items.
- Linearizing intuitionistic implication (Q1210141) (← links)
- Functorial semantics and HSP type theorems (Q1319054) (← links)
- Glueing and orthogonality for models of linear logic (Q1398466) (← links)
- (Q3351360) (← links)
- (Q3367300) (← links)
- Accessible Categories: The Foundations of Categorical Model Theory (Q3995283) (← links)
- (Q4239751) (← links)
- Linear-algebraic models of linear logic as categories of modules over \(\Sigma \)-semirings (Q6649497) (← links)