The following pages link to A Strong Distillery (Q3460910):
Displaying 7 items.
- The Useful MAM, a Reasonable Implementation of the Strong $$\lambda $$ -Calculus (Q2820681) (← links)
- The full-reducing Krivine abstract machine KN simulates pure normal-order reduction in lockstep: A proof via corresponding calculus (Q4972064) (← links)
- A Fresh Look at the λ-Calculus (Q5089000) (← links)
- (Q5089007) (← links)
- (Q5111304) (← links)
- A strong call-by-need calculus (Q6135746) (← links)
- Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic (Q6137846) (← links)
