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: 2016_05_17-AM-09_06_58
Last ObjectModification: 2012_11_29-PM-06_21_41

Theory : local!classes


Home Index