Pages that link to "Item:Q3637197"
From MaRDI portal
The following pages link to The Cut-Elimination Theorem for Differential Nets with Promotion (Q3637197):
Displaying 6 items.
- Strong Normalizability as a Finiteness Structure via the Taylor Expansion of $$\lambda $$ λ -terms (Q2811355) (← links)
- Realizability Proof for Normalization of Full Differential Linear Logic (Q3007660) (← links)
- An introduction to differential linear logic: proof-nets, models and antiderivatives (Q4577980) (← links)
- (Q5094132) (← links)
- The conservation theorem for differential nets (Q5360213) (← links)
- A deep inference system for differential linear logic (Q6657782) (← links)