Pages that link to "Item:Q2566028"
From MaRDI portal
The following pages link to Weak linearization of the lambda calculus (Q2566028):
Displaying 7 items.
- The weak lambda calculus as a reasonable machine (Q930866) (← links)
- Gödel's system \(\mathcal T\) revisited (Q960861) (← links)
- Non-linear rewrite closure and weak normalization (Q2351264) (← links)
- A linearization of the Lambda-calculus and consequences (Q4500177) (← links)
- Geometry of resource interaction and Taylor–Ehrhard–Regnier expansion: <i>a minimalist approach</i> (Q4637628) (← links)
- (Q4953356) (← links)
- Logic Based Program Synthesis and Transformation (Q5713939) (← links)