Nuprl Definition : nysiad_Replicas-program
nysiad_Replicas-program(actors;add2baghdr;addwaitinghdr;adeliverhdr;inputmsghdr;kdeliverhdr;readyhdr;...;mf;prX) ==
return-loc-bag-class-program(λslf.actors)
>>= λz.(nysiad_Replica-program(add2baghdr;addwaitinghdr;adeliverhdr;inputmsghdr;kdeliverhdr;readyhdr;...;mf;prX)
z)
Definitions occuring in Statement :
nysiad_Replica-program: nysiad_Replica-program(add2baghdr;addwaitinghdr;adeliverhdr;inputmsghdr;kdeliverhdr;readyhdr;tooarcasthdr;mf;prX),
return-loc-bag-class-program: return-loc-bag-class-program(x),
bind-class-program: xpr >>= ypr,
apply: f a,
lambda: λx.A[x]
FDL editor aliases :
nysiad_Replicas-program
Latex:
nysiad\_Replicas-program(actors;add2baghdr;addwaitinghdr;adeliverhdr;...;...;readyhdr;...;mf;prX) ==
return-loc-bag-class-program(\mlambda{}slf.actors)
>>= \mlambda{}z.(nysiad\_Replica-program(add2baghdr;addwaitinghdr;adeliverhdr;...;...;readyhdr;...;mf;prX)
z)
Date html generated:
2015_07_23-PM-03_47_35
Last ObjectModification:
2014_08_06-PM-03_35_38
Home
Index