Similar Items: (Leftmost-Outermost) Beta Reduction is Invariant, Indeed
- Transforming Outermost into Context-Sensitive Rewriting
- Finitary Simulation of Infinitary $beta$-Reduction via Taylor Expansion, and Applications
- Almost Every Simply Typed Lambda-Term Has a Long Beta-Reduction Sequence
- Invariant Subspace Decomposition
- Order-Invariant Types and Their Applications
- Nash Equilibrium and Bisimulation Invariance