No mentions to report in lambda_jlc
applicative_Y	Def Y(f) == (x.f(y.x(x,y)))(x.f(y.x(x,y)))

Syntax:

Y

has structure:

applicative_Y

About: