Nuprl Definition : ycomb
Y == λf.((λx.(f (x x))) (λx.(f (x x))))
Definitions occuring in Statement :
apply: f a,
lambda: λx.A[x]
Definitions occuring in definition :
lambda: λx.A[x],
apply: f a
FDL editor aliases :
ycomb
Latex:
Y == \mlambda{}f.((\mlambda{}x.(f (x x))) (\mlambda{}x.(f (x x))))
Date html generated:
2016_05_13-PM-03_04_36
Last ObjectModification:
2015_09_22-PM-05_43_41
Theory : core_2
Home
Index