Nuprl Definition : loop-class-memory
loop-class-memory(X;init) ==  fix((λloop-class-memory.Prior(eclass3(X;loop-class-memory))?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-class-memory
Latex:
loop-class-memory(X;init)  ==    fix((\mlambda{}loop-class-memory.Prior(eclass3(X;loop-class-memory))?init))
Date html generated:
2016_05_16-PM-11_36_53
Last ObjectModification:
2012_08_23-PM-02_43_18
Theory : event-ordering
Home
Index