ConceptSmall omega combinatorModified just nowProperties 4Hide BooksChapter 5. The untyped/pure lambda-calculus JourneyProgramming Language Theory Statusreviewing Tagslambda calculussyntax grammarA Combinator defined as ω=λx. x x\omega = \lambda x.\ x\ xω=λx. x x, useful in many patterns, such as Extensible/Open recursion. Previous in ConceptsSimultaneous inductive definitionNext in Concepts Small step structural operational semantics sos