Nuprl Definition : loop-class2
loop-class2(X;init) == fix((λloop-class2.eclass3(X;Prior(loop-class2)?init)))
Definitions occuring in Statement :
primed-class-opt: Prior(X)?b,
eclass3: eclass3(X;Y),
fix: fix(F),
lambda: λx.A[x]
FDL editor aliases :
loop-class2
Latex:
loop-class2(X;init) == fix((\mlambda{}loop-class2.eclass3(X;Prior(loop-class2)?init)))
Date html generated:
2015_07_21-PM-02_32_05
Last ObjectModification:
2012_08_15-AM-11_17_56
Home
Index