Nuprl Definition : nysiad_QueueState-program
nysiad_QueueState-program(add2baghdr;addwaitinghdr;adeliverhdr;inputmsghdr;kdeliverhdr;readyhdr;tooarcasthdr;mf) ==
λloc.memory-class2-program(λslf.<[]
, ff
>;nysiad_on_kdeliver(add2baghdr;addwaitinghdr;adeliverhdr;inputmsghdr;...;...;...;mf)
loc;nysiad_kdeliver'base-program(add2baghdr;...;...;...;...;...;...;mf);...
loc;...)
Definitions occuring in Statement :
nysiad_on_ready: nysiad_on_ready(add2baghdr;addwaitinghdr;adeliverhdr;inputmsghdr;kdeliverhdr;readyhdr;tooarcasthdr;mf),
nysiad_on_kdeliver: nysiad_on_kdeliver(add2baghdr;addwaitinghdr;adeliverhdr;inputmsghdr;kdeliverhdr;readyhdr;tooarcasthdr;mf),
nysiad_kdeliver'base-program: nysiad_kdeliver'base-program(add2baghdr;addwaitinghdr;adeliverhdr;inputmsghdr;kdeliverhdr;readyhdr;tooarcasthdr;mf),
nysiad_ready'base-program: nysiad_ready'base-program(add2baghdr;addwaitinghdr;adeliverhdr;inputmsghdr;kdeliverhdr;readyhdr;tooarcasthdr;mf),
memory-class2-program: memory-class2-program(init;tr1;pr1;tr2;pr2),
nil: [],
bfalse: ff,
apply: f a,
lambda: λx.A[x],
pair: <a, b>
FDL editor aliases :
nysiad_QueueState-program
Latex:
nysiad\_QueueState-program(add2baghdr;addwaitinghdr;adeliverhdr;inputmsghdr;...;readyhdr;...;mf) ==
\mlambda{}loc.memory-class2-program(\mlambda{}slf.<[]
, ff
>nysiad\_on\_kdeliver(add2baghdr;...;...;...;...;readyhdr;...;mf)
loc;...;nysiad\_on\_ready(add2baghdr;...;...;...;...;...;...;mf)
loc;...)
Date html generated:
2015_07_23-PM-03_45_52
Last ObjectModification:
2014_08_06-PM-03_33_10
Home
Index