The following pages link to (Q3300796):
Displaying 5 items.
- On the Taylor expansion of probabilistic λ-terms (Q5089013) (← links)
- (Q5094132) (← links)
- Finitary Simulation of Infinitary $\beta$-Reduction via Taylor Expansion, and Applications (Q6178717) (← links)
- Light genericity (Q6629516) (← links)
- Resource approximation for the \(\lambda \mu \)-calculus (Q6649457) (← links)
