Similar Items: Asymptotically almost all lambda-terms are strongly normalizing
- Strong normalization of lambda-Sym-Prop- and lambda-bar-mu-mu-tilde-star- calculi
- Almost Every Simply Typed Lambda-Term Has a Long Beta-Reduction Sequence
- A correspondence between rooted planar maps and normal planar lambda terms
- Strong normalisation for applied lambda calculi
- Normalizing the Taylor expansion of non-deterministic {lambda}-terms, via parallel reduction of resource vectors
- Preservation of Strong Normalisation modulo permutations for the structural lambda-calculus