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