Tag: lambda-calculus

All the articles with the tag "lambda-calculus".

• Deriving the Y-combinator

  2 Nov, 2026

  Derive the Z-combinator from self-application using simple program transformations, then discover its relationship to the Y-combinator.