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