ConceptStuck termModified just nowProperties 4Hide BooksChapter 3. Untyped arithmetic expressions JourneyProgramming Language Theory Statusreviewing Tagslambda calculussemanticsA Lambda calculus term that is in Normal form but not a value. Previous in ConceptsStructuralityNext in Concepts Stuck term value normal form