ConceptDivergent big omega combinatorModified just nowProperties 3Hide BooksChapter 5. The untyped/pure lambda-calculus JourneyProgramming Language Theory StatuslearningFormula: Ω=(λx. x x) (λx. x x)\Omega = (\lambda x.\ x\ x)\ (\lambda x.\ x\ x)Ω=(λx. x x) (λx. x x) Previous in ConceptsDirected acyclic graph dagNext in Concepts Divergent big omega combinator curry y combinator