ConceptLambda abstractionModified just nowProperties 4Hide BooksChapter 5. The untyped/pure lambda-calculus JourneyProgramming Language Theory Statusmastered Tagslambda calculussyntax grammarA Lambda term of the form λx. t\lambda x.\ tλx. t - a function that binds variable xxx over body ttt. Previous in ConceptsLabeled treeNext in Concepts Lambda abstraction lambda calculus