Nuprl Definition : state-class5-program

state-class5-program(init;tr1;pr1;tr2;pr2;tr3;pr3;tr4;pr4;tr5;pr5) ==
  loop-class-state-program(eclass1-program(tr1;pr1) || eclass1-program(tr2;pr2) || eclass1-program(tr3;pr3)
                                                                                   || eclass1-program(tr4;pr4)
                                                                                      || eclass1-program(tr5;pr5);
                           λloc.{init loc})



Definitions occuring in Statement :  parallel-class-program: || Y loop-class-state-program: loop-class-state-program(pr;init) eclass1-program: eclass1-program(f;pr) apply: a lambda: λx.A[x] single-bag: {x}
FDL editor aliases :  state-class5-program

Latex:
state-class5-program(init;tr1;pr1;tr2;pr2;tr3;pr3;tr4;pr4;tr5;pr5)  ==
    loop-class-state-program(eclass1-program(tr1;pr1)  ||  eclass1-program(tr2;pr2)
                                                                                                              ||  eclass1-program(tr3;pr3)
                                                                                                                    ||  eclass1-program(tr4;pr4)
                                                                                                                          ||  eclass1-program(tr5;pr5);\mlambda{}loc.\{init 
                                                                                                                                                                                              loc\})



Date html generated: 2016_05_17-AM-09_11_29
Last ObjectModification: 2013_11_30-AM-00_46_29

Theory : local!classes


Home Index