Nuprl Definition : pv11_p1_p2b'send
pv11_p1_p2b'send(Cmd;mf) == λl,z. mk-msg-interface(l;make-Msg(``pv11_p1 p2b``;z))
Definitions occuring in Statement :
mk-msg-interface: mk-msg-interface(l;m),
make-Msg: make-Msg(hdr;val),
cons: [a / b],
nil: [],
lambda: λx.A[x],
token: "$token"
FDL editor aliases :
pv11_p1_p2b'send
Latex:
pv11\_p1\_p2b'send(Cmd;mf) == \mlambda{}l,z. mk-msg-interface(l;make-Msg(``pv11\_p1 p2b``;z))
Date html generated:
2015_07_23-PM-04_12_11
Last ObjectModification:
2014_11_26-AM-11_24_01
Home
Index