Nuprl Definition : eclass-state-program
eclass-state-program(init;f;pr) == loop-class-program(λl.{init l};eclass1-program(λi,a,b. {f i a b};pr))
Definitions occuring in Statement :
loop-class-program: loop-class-program(init;pr),
eclass1-program: eclass1-program(f;pr),
apply: f a,
lambda: λx.A[x],
single-bag: {x}
FDL editor aliases :
eclass-state-program
Latex:
eclass-state-program(init;f;pr) == loop-class-program(\mlambda{}l.\{init l\};eclass1-program(\mlambda{}i,a,b. \{f i a b\}\000C;pr))
Date html generated:
2015_07_22-PM-00_02_48
Last ObjectModification:
2012_11_29-PM-06_21_41
Home
Index