KnowraLambda calculusLinked fromLinked fromThe 23 pages that link to Lambda calculus, each with the reason it gives.All 23Broader topic 2Related 11Narrower topic 4Compared with 6Free variableNarrower topic: Its lambda abstractions provide another setting where free and bound occurrences matter.Functional programmingNarrower topic: Its function-centered model underlies much of functional language design.Church–Rosser theoremNarrower topic: The theorem is a central property of its untyped version.HaskellNarrower topic: Haskell’s functions and evaluation rules draw on the computational model of lambda calculus.