Pages that link to "Item:Q534707"

The following pages link to Intuitionistic differential nets and lambda-calculus (Q534707):

Displaying 11 items.

• Relational graph models, Taylor expansion and extensionality (Q283769) (← links)
• Visible acyclic differential nets. I: Semantics (Q409321) (← links)
• Proof nets and the call-by-value \(\lambda\)-calculus (Q897928) (← links)
• Strong normalization property for second order linear logic (Q1044837) (← links)
• Realizability Proof for Normalization of Full Differential Linear Logic (Q3007660) (← links)
• Böhm’s Theorem for Resource Lambda Calculus through Taylor Expansion (Q3007664) (← links)
• Confluence of Pure Differential Nets with Promotion (Q3644769) (← links)
• Transport of finiteness structures and applications (Q4577981) (← links)
• Geometry of resource interaction and Taylor–Ehrhard–Regnier expansion: <i>a minimalist approach</i> (Q4637628) (← links)
• (Q5094132) (← links)
• The conservation theorem for differential nets (Q5360213) (← links)