The following pages link to (Q5227520):
Displaying 5 items.
- Uniformity and the Taylor expansion of ordinary lambda-terms (Q944386) (← links)
- A characterization of the Taylor expansion of lambda-terms (Q2958517) (← links)
- Logical Approaches to Computational Barriers (Q5898816) (← links)
- Finitary Simulation of Infinitary $\beta$-Reduction via Taylor Expansion, and Applications (Q6178717) (← links)
- Resource approximation for the \(\lambda \mu \)-calculus (Q6649457) (← links)