Pages that link to "Item:Q534707"
From MaRDI portal
The following pages link to Intuitionistic differential nets and lambda-calculus (Q534707):
Displaying 17 items.
- Relational graph models, Taylor expansion and extensionality (Q283769) (← links)
- Visible acyclic differential nets. I: Semantics (Q409321) (← links)
- Differential interaction nets (Q860836) (← links)
- Resource operators for \(\lambda\)-calculus (Q876041) (← links)
- Proof nets and the call-by-value \(\lambda\)-calculus (Q897928) (← links)
- Interpreting a finitary pi-calculus in differential interaction nets (Q979075) (← links)
- Strong normalization property for second order linear logic (Q1044837) (← links)
- Behavioural differential equations: a coinductive calculus of streams, automata, and power series (Q1884876) (← links)
- The differential lambda-calculus (Q1884894) (← 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)
- A deep inference system for differential linear logic (Q6657782) (← links)