ConceptBehavioral observational contextual equivalenceModified just nowProperties 4Hide BooksChapter 5. The untyped/pure lambda-calculus JourneyProgramming Language Theory Statusreviewing Tagsprogram analysissemanticsExample: λx. x≃λx. (λy. y) x\lambda x.\ x \simeq \lambda x.\ (\lambda y.\ y)\ xλx. x≃λx. (λy. y) x Previous in ConceptsBasic judgmentNext in Concepts Beta equivalence