Pages that link to "Item:Q5408457"
From MaRDI portal
The following pages link to A nonstandard standardization theorem (Q5408457):
Displayed 21 items.
- On abstract normalisation beyond neededness (Q683744) (← links)
- Projections for infinitary rewriting (Q1744449) (← links)
- The spirit of node replication (Q2233421) (← links)
- (In)efficiency and reasonable cost models (Q2333310) (← links)
- On the value of variables (Q2401632) (← links)
- Projections for infinitary rewriting (extended version) (Q2424890) (← links)
- Classical By-Need (Q2802497) (← links)
- The Useful MAM, a Reasonable Implementation of the Strong $$\lambda $$ -Calculus (Q2820681) (← links)
- Unification for $$\lambda $$ -calculi Without Propagation Rules (Q3179400) (← links)
- A resource aware semantics for a focused intuitionistic calculus (Q4559602) (← links)
- (Q5021229) (← links)
- The Negligible and Yet Subtle Cost of Pattern Matching (Q5056004) (← links)
- A Fresh Look at the λ-Calculus (Q5089000) (← links)
- (Q5111304) (← links)
- (Q5111320) (← links)
- Tight typings and split bounds, fully developed (Q5120229) (← links)
- (Q5208874) (← links)
- Focused linear logic and the \(\lambda\)-calculus (Q5971394) (← links)
- A strong call-by-need calculus (Q6135746) (← links)
- Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic (Q6137846) (← links)
- Node Replication: Theory And Practice (Q6192004) (← links)