lambda jlc Sections Support(jlc) Doc

Def Y(f) == (x.f(x(x)))(x.f(x(x)))

is mentioned by

Def (letrec f b(f)) == b((letrec f b(f)) ) (recursive)[letrec]


lambda jlc Sections Support(jlc) Doc