Pages that link to "Item:Q3644769"
From MaRDI portal
The following pages link to Confluence of Pure Differential Nets with Promotion (Q3644769):
Displaying 10 items.
- Proof nets and the call-by-value \(\lambda\)-calculus (Q897928) (← links)
- Strong normalization property for second order linear logic (Q1044837) (← links)
- Categorical Models for Simply Typed Resource Calculi (Q3178254) (← links)
- Confluence of Pure Differential Nets with Promotion (Q3644769) (← links)
- An introduction to differential linear logic: proof-nets, models and antiderivatives (Q4577980) (← links)
- (Q4580329) (← links)
- (Q5094132) (← links)
- (Q5137919) (← links)
- The conservation theorem for differential nets (Q5360213) (← links)
- Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic (Q6137846) (← links)
