ConceptDivergent termModified just nowProperties 4Hide BooksChapter 5. The untyped/pure lambda-calculus JourneyProgramming Language Theory Statusreviewing Tagslambda calculussemanticsA term that does not evaluate to a Normal form. Previous in ConceptsDivergent big omega combinator curry y combinatorNext in Concepts Domain