feedback-df-program-case1(B;F;dfps;init) ==
let n := ||dfps|| in
let ns 
upto(n)
in 
t.(F (k.t.k))|dfps|
feedback: init
halt: x.(
i
ns.
isl(x.i))_b
Definitions occuring in Statement :
feedback-prog: feedback-prog,
length: ||as||,
isl: isl(x),
bnot: b,
apply: f a,
lambda: x.A[x],
select-tuple: x.n,
upto: upto(n),
bl-all: (xL.P[x])_b,
callbyvalueall: callbyvalueall,
callbyvalue: callbyvalue
FDL editor aliases :
feedback-df-program-case1
feedback-df-program-case1(B;F;dfps;init) ==
let n := ||dfps|| in
let ns \mleftarrow{}{}
upto(n)
in \mlambda{}t.(F (\mlambda{}k.t.k))|dfps|
feedback: init
halt: \mlambda{}x.(\mforall{}i\mmember{}ns.\mneg{}\msubb{}isl(x.i))\_b
Date html generated:
2011_08_16-AM-09_41_29
Last ObjectModification:
2011_06_24-PM-05_54_41
Home
Index