Pages that link to "Item:Q435194"
From MaRDI portal
The following pages link to The relational model is injective for multiplicative exponential linear logic (without weakenings) (Q435194):
Displaying 6 items.
- A semantic account of strong normalization in linear logic (Q276260) (← links)
- An abstract approach to stratification in linear logic (Q2343125) (← links)
- (Q4611381) (← links)
- Proof Nets, Coends and the Yoneda Isomorphism (Q5018492) (← links)
- (Q5094132) (← links)
- Computing connected proof(-structure)s from their Taylor expansion (Q5369485) (← links)