Pages that link to "Item:Q2958373"
From MaRDI portal
The following pages link to Linear Logic and Strong Normalization (Q2958373):
Displaying 10 items.
- A semantic account of strong normalization in linear logic (Q276260) (← links)
- Proof nets and the call-by-value \(\lambda\)-calculus (Q897928) (← links)
- Strong normalization property for second order linear logic (Q1044837) (← links)
- On proof normalization in linear logic (Q1342248) (← links)
- Observed Communication Semantics for Classical Processes (Q2988633) (← links)
- Realizability Proof for Normalization of Full Differential Linear Logic (Q3007660) (← links)
- (Q5014809) (← links)
- Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic (Q6137846) (← links)
- Exponentials as substitutions and the cost of cut elimination in linear logic (Q6649484) (← links)
- Exponentially handsome proof nets and their normalization (Q6657781) (← links)