Let $\Delta = \lambda x.(x)x$ and consider $\Omega = (\Delta)\Delta$. Then $\Omega$ is exactly the only $\lambda$-term of the form $(\lambda x.t)v$ such that $(\lambda x.t)v=t\{v\ /\ x\}$.

Does someone have references about this statement ? I could not find something enough relevant in my ressources or in my lectures material.

Thanks in advance !

  • $\begingroup$ Cross-posted at cstheory.SE which seems the better place than here $\endgroup$ Dec 14, 2021 at 18:01


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Browse other questions tagged or ask your own question.