Nuprl Definition : pv11_p1_ScoutState

pv11_p1_ScoutState(Cmd;accpts;mf) ==
  λb.state-class1(λloc.pv11_p1_init_scout(Cmd;accpts);pv11_p1_on_p1b(Cmd) b;pv11_p1_p1b'base(Cmd;mf))


Definitions occuring in Statement :  pv11_p1_on_p1b: pv11_p1_on_p1b(Cmd),  pv11_p1_init_scout: pv11_p1_init_scout(Cmd;accpts),  pv11_p1_p1b'base: pv11_p1_p1b'base(Cmd;mf),  state-class1: state-class1(init;tr;X),  apply: f a,  lambda: λx.A[x]
FDL editor aliases :  pv11_p1_ScoutState
Latex:
pv11\_p1\_ScoutState(Cmd;accpts;mf)  ==
    \mlambda{}b.state-class1(\mlambda{}loc.pv11\_p1\_init\_scout(Cmd;accpts);pv11\_p1\_on\_p1b(Cmd) 
                                                                                                            b;pv11\_p1\_p1b'base(Cmd;mf))


Date html generated: 2015_07_23-PM-04_32_20
Last ObjectModification: 2014_11_26-AM-11_27_50

Home Index