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