WhoCites Definitions MarkB generic Sections NuprlLIB Doc

NOTE: Y(f) * f(Y(f))
Who Cites ycomb?
ycombDef Y(f) == (x.f(x(x)))(x.f(x(x)))

Syntax:Y has structure: ycomb

About:
lambdaapplyycomb!abstraction

WhoCites Definitions MarkB generic Sections NuprlLIB Doc