Pages that link to "Item:Q3525647"
From MaRDI portal
The following pages link to Interpreting a Finitary Pi-calculus in Differential Interaction Nets (Q3525647):
Displaying 12 items.
- Network-conscious \(\pi\)-calculus -- a model of Pastry (Q530841) (← links)
- Interpreting a finitary pi-calculus in differential interaction nets (Q979075) (← links)
- The Cut-Elimination Theorem for Differential Nets with Promotion (Q3637197) (← links)
- Differential Linear Logic and Polarization (Q3637207) (← links)
- Confluence of Pure Differential Nets with Promotion (Q3644769) (← links)
- (Q4494368) (← links)
- (Q4501679) (← links)
- Transport of finiteness structures and applications (Q4577981) (← links)
- Order algebras: a quantitative model of interaction (Q4577983) (← links)
- Cofree coalgebras and differential linear logic (Q5139287) (← links)
- The conservation theorem for differential nets (Q5360213) (← links)
- A coherent differential PCF (Q6178673) (← links)