Nuprl Definition : pv11_p1_valid-AcceptorState
pv11_p1_valid-AcceptorState(Cmd;ldrs_uid;es;e;f) ==
pv11_p1_valid-proposals(Cmd;es;e;map(λp.(snd(p));snd(pv11_p1_AcceptorStateFun(Cmd;ldrs_uid;f;es;e)));f)
Definitions occuring in Statement :
pv11_p1_valid-proposals: pv11_p1_valid-proposals(Cmd;es;e;L;f),
pv11_p1_AcceptorStateFun: pv11_p1_AcceptorStateFun(Cmd;ldrs_uid;mf;es;e),
map: map(f;as),
pi2: snd(t),
lambda: λx.A[x]
FDL editor aliases :
pv11_p1_valid-AcceptorState
Latex:
pv11\_p1\_valid-AcceptorState(Cmd;ldrs$_{uid}$;es;e;f) ==
pv11\_p1\_valid-proposals(Cmd;es;e;map(\mlambda{}p.(snd(p));
snd(pv11\_p1\_AcceptorStateFun(Cmd;ldrs$_{uid}\mbackslash{}\000Cff24;f;es;e)));f)
Date html generated:
2015_07_23-PM-05_03_26
Last ObjectModification:
2013_12_18-PM-06_18_14
Home
Index