Similar Items: A Strong Bisimulation for a Classical Term Calculus
- A strong call-by-need calculus
- Preservation of Strong Normalisation modulo permutations for the structural lambda-calculus
- A Classical Realizability Model arising from a Stable Model of Untyped Lambda Calculus
- Asymptotically almost all lambda-terms are strongly normalizing
- Games for Bisimulations and Abstraction
- Relating Apartness and Bisimulation