Nuprl Definition : pDVmsg

pDVmsg(val;index) ==  inr inr inr (inl <val, index>)   


Definitions occuring in Statement :  pair: <a, b>,  inr: inr x ,  inl: inl x
FDL editor aliases :  pDVmsg
Latex:
pDVmsg(val;index)  ==    inr  inr  inr  (inl  <val,  index>)     


Date html generated: 2016_05_17-AM-11_26_33
Last ObjectModification: 2012_08_30-PM-01_42_29

Theory : event-logic-applications


Home Index