I'm exploring a lambda calculus based variant of the Busy Beaver function at https://mathoverflow.net/questions/353514/whats-the-smallest-lambda-calculus-term-n

I'm exploring a lambda calculus based variant of the Busy Beaver function at https://mathoverflow.net/questions/353514/whats-the-smallest-lambda-calculus-term-not-known-to-have-a-normal-form https://mathoverflow.net/questions/353514/whats-the-smallest...