pardf2{pardf2_compseq_tag_def:o}(p2; p1; F; B) ==
compseq(parallel-df-program(B;F;[p1; p2]);
parallel-df-prog2(B;
x,y.(F (k.if (k =
0) then x else y fi ));p1;p2)
)
Definitions :
natural_number: $n,
eq_int: (i = j),
ifthenelse: if b then t else f fi ,
lambda: x.A[x],
apply: f a,
parallel-df-prog2: parallel-df-prog2(B;G;dfp1;dfp2),
nil: [],
cons: [car / cdr],
parallel-df-program: parallel-df-program(B;F;dfps)
pardf2\{pardf2\_compseq\_tag\_def:o\}(p2; p1; F; B) ==
compseq(parallel-df-program(B;F;[p1; p2]);
parallel-df-prog2(B;\mlambda{}x,y.(F (\mlambda{}k.if (k =\msubz{} 0) then x else y fi ));p1;p2))
Date html generated:
2010_08_27-AM-12_23_44
Last ObjectModification:
2010_07_08-PM-03_37_49
Home
Index