Nuprl Definition : eclass-state-program

eclass-state-program(init;f;pr) ==  loop-class-program(λl.{init l};eclass1-program(λi,a,b. {f b};pr))



Definitions occuring in Statement :  loop-class-program: loop-class-program(init;pr) eclass1-program: eclass1-program(f;pr) apply: 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