WhoCites Definitions mb tree Sections MarkB generic Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
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
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html

WhoCites Definitions mb tree Sections MarkB generic Doc