Pages that link to "Item:Q2864502"
From MaRDI portal
The following pages link to A calculus for interaction nets based on the linear chemical abstract machine (Q2864502):
Displaying 6 items.
- An implementation model of the typed \(\lambda\)-calculus based on linear chemical abstract machine (Q2841304) (← links)
- (Q4494368) (← links)
- An introduction to differential linear logic: proof-nets, models and antiderivatives (Q4577980) (← links)
- (Q5028444) (← links)
- Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic (Q6137846) (← links)
- Exponentials as substitutions and the cost of cut elimination in linear logic (Q6649484) (← links)