Pages that link to "Item:Q5369485"
From MaRDI portal
The following pages link to Computing connected proof(-structure)s from their Taylor expansion (Q5369485):
Displaying 10 items.
- The relational model is injective for multiplicative exponential linear logic (without weakenings) (Q435194) (← links)
- The bang calculus revisited (Q2039931) (← links)
- (Q4611381) (← links)
- (Q5028444) (← links)
- (Q5079739) (← links)
- (Q5094132) (← links)
- Tight typings and split bounds, fully developed (Q5120229) (← links)
- The bang calculus revisited (Q6116183) (← links)
- Resource approximation for the \(\lambda \mu \)-calculus (Q6649457) (← links)
- A deep inference system for differential linear logic (Q6657782) (← links)