Nuprl Definition : pv11_p1_valid-p1b-message
pv11_p1_valid-p1b-message(Cmd;es;e;f) == pv11_p1_valid-proposals(Cmd;es;e;map(λp.(snd(p));snd(snd(snd(msgval(e)))));f)
Definitions occuring in Statement :
pv11_p1_valid-proposals: pv11_p1_valid-proposals(Cmd;es;e;L;f),
es-info-body: msgval(e),
map: map(f;as),
pi2: snd(t),
lambda: λx.A[x]
FDL editor aliases :
pv11_p1_valid-p1b-message
Latex:
pv11\_p1\_valid-p1b-message(Cmd;es;e;f) ==
pv11\_p1\_valid-proposals(Cmd;es;e;map(\mlambda{}p.(snd(p));snd(snd(snd(msgval(e)))));f)
Date html generated:
2015_07_23-PM-05_03_40
Last ObjectModification:
2013_12_18-PM-06_18_39
Home
Index