ConceptIdentity combinatorModified just nowProperties 4Hide BooksChapter 5. The untyped/pure lambda-calculus JourneyProgramming Language Theory Statusmastered Tagslambda calculussemanticsFormula: id=λx. x\text{id} = \lambda x.\ xid=λx. x Previous in ConceptsHypothetical rule inductionNext in Concepts If splitting