Past exam of the mathematics course of the University of Cambridge 2023 iii Paper 120 2 e Solution 2026-09-28
No. The Omega combinator isIts only beta-redex contracts back to itself. Every reduction sequence therefore repeats the same term, which is not in beta-normal form. Thus has no beta-normal form.