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: 2016_05_16-PM-11_33_38 Last ObjectModification: 2012_08_15-AM-11_17_56 Theory : event-ordering Home Index