Pages that link to "Item:Q4814187"
From MaRDI portal
The following pages link to Proof nets and explicit substitutions (Q4814187):
Displayed 10 items.
- A prismoid framework for languages with resources (Q654907) (← links)
- Resource operators for \(\lambda\)-calculus (Q876041) (← links)
- Proof nets and the call-by-value \(\lambda\)-calculus (Q897928) (← links)
- Strong normalization property for second order linear logic (Q1044837) (← links)
- The spirit of node replication (Q2233421) (← links)
- On explicit substitution with names (Q2392486) (← links)
- Jumping Boxes (Q3644740) (← links)
- Confluence of Pure Differential Nets with Promotion (Q3644769) (← links)
- (Q4643962) (← links)
- The conservation theorem for differential nets (Q5360213) (← links)