Pages that link to "Item:Q4814187"

The following pages link to Proof nets and explicit substitutions (Q4814187):

Displaying 11 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)
• Node Replication: Theory And Practice (Q6192004) (← links)