Nuprl Definition : pv11_p1_ScoutState-program
pv11_p1_ScoutState-program(Cmd;accpts;mf) ==
λb.state-class1-program(λloc.pv11_p1_init_scout(Cmd;accpts);pv11_p1_on_p1b(Cmd) b;pv11_p1_p1b'base-program(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-program: pv11_p1_p1b'base-program(Cmd;mf),
state-class1-program: state-class1-program(init;tr;pr),
apply: f a,
lambda: λx.A[x]
FDL editor aliases :
pv11_p1_ScoutState-program
Latex:
pv11\_p1\_ScoutState-program(Cmd;accpts;mf) ==
\mlambda{}b.state-class1-program(\mlambda{}loc.pv11\_p1\_init\_scout(Cmd;accpts);pv11\_p1\_on\_p1b(Cmd) b;
pv11\_p1\_p1b'base-program(Cmd;mf))
Date html generated:
2015_07_23-PM-04_32_30
Last ObjectModification:
2014_11_26-AM-11_28_43
Home
Index