Nuprl Definition : pv11_p1_valid-ScoutState
pv11_p1_valid-ScoutState(Cmd;accpts;b;start;es;e;f) ==
pv11_p1_valid-proposals(Cmd;es;e;map(λp.(snd(p));snd(pv11_p1_ScoutStateFun(Cmd;accpts;f;b;es.start;e)));f)
Definitions occuring in Statement :
pv11_p1_valid-proposals: pv11_p1_valid-proposals(Cmd;es;e;L;f),
pv11_p1_ScoutStateFun: pv11_p1_ScoutStateFun(Cmd;accpts;mf;x;es;e),
eo-forward: eo.e,
map: map(f;as),
pi2: snd(t),
lambda: λx.A[x]
FDL editor aliases :
pv11_p1_valid-ScoutState
Latex:
pv11\_p1\_valid-ScoutState(Cmd;accpts;b;start;es;e;f) ==
pv11\_p1\_valid-proposals(Cmd;es;e;map(\mlambda{}p.(snd(p));
snd(pv11\_p1\_ScoutStateFun(Cmd;accpts;f;b;es.start;e)));f)
Date html generated:
2015_07_23-PM-05_03_31
Last ObjectModification:
2013_12_18-PM-06_18_23
Home
Index