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: 2016_05_16-PM-11_34_23
Last ObjectModification: 2012_08_15-PM-05_29_55

Theory : event-ordering


Home Index