Pages that link to "Item:Q876041"
From MaRDI portal
The following pages link to Resource operators for \(\lambda\)-calculus (Q876041):
Displayed 11 items.
- A prismoid framework for languages with resources (Q654907) (← links)
- Proof nets and the call-by-value \(\lambda\)-calculus (Q897928) (← links)
- The spirit of node replication (Q2233421) (← links)
- On explicit substitution with names (Q2392486) (← links)
- Intersection Types for the Resource Control Lambda Calculi (Q3105748) (← links)
- The Prismoid of Resources (Q3182947) (← links)
- Strong Normalisation of Cut-Elimination That Simulates β-Reduction (Q5458374) (← links)
- Focused linear logic and the \(\lambda\)-calculus (Q5971394) (← links)
- Non-Deterministic Functions as Non-Deterministic Processes (Extended Version) (Q6076174) (← links)
- Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic (Q6137846) (← links)
- Node Replication: Theory And Practice (Q6192004) (← links)