par_df1{par_df1_compseq_tag_def:o}(dfp; F; B) ==
compseq(parallel-df-program(B;F;[dfp]); parallel-df-prog1(B;
x.(F (k.x));dfp)
)
Definitions :
lambda: x.A[x],
apply: f a,
parallel-df-prog1: parallel-df-prog1(B;G;dfp),
nil: [],
cons: [car / cdr],
parallel-df-program: parallel-df-program(B;F;dfps)
par\_df1\{par\_df1\_compseq\_tag\_def:o\}(dfp; F; B) ==
compseq(parallel-df-program(B;F;[dfp]); parallel-df-prog1(B;\mlambda{}x.(F (\mlambda{}k.x));dfp))
Date html generated:
2010_08_27-AM-12_23_43
Last ObjectModification:
2010_07_08-PM-03_36_07
Home
Index