Tag: fixed-point-combinator

All the articles with the tag "fixed-point-combinator".

• 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.