---

system-fpf(S) ==
  let Cs,G = S in
    let dom = remove-repeats(IdDeq;map(p.(fst(p));Cs)
              @ map(nd.(snd(fst(fst(nd))));G)) in
        mkfpf(dom;x.<mapfilter(c.(snd(c));c.fst(c) = x;Cs)
                     , lg-filter(tr.snd(fst(tr)) = x;G)
                     >)

---

Definitions :  spread: spread def,  let: let,  remove-repeats: remove-repeats(eq;L),  id-deq: IdDeq,  append: as @ bs,  map: map(f;as),  mkfpf: mkfpf(a;b),  pair: <a, b>,  mapfilter: mapfilter(f;P;L),  lg-filter: lg-filter(P;G),  lambda: x.A[x],  eq_id: a = b,  pi2: snd(t),  pi1: fst(t)
FDL editor aliases :  system-fpf

---

system-fpf(S)  ==
    let  Cs,G  =  S  in
        let  dom  =  remove-repeats(IdDeq;map(\mlambda{}p.(fst(p));Cs)  @  map(\mlambda{}nd.(snd(fst(fst(nd))));G))  in
                mkfpf(dom;\mlambda{}x.<mapfilter(\mlambda{}c.(snd(c));\mlambda{}c.fst(c)  =  x;Cs),  lg-filter(\mlambda{}tr.snd(fst(tr))  =  x;G)>)


Date html generated: 2010_08_27-PM-03_51_06
Last ObjectModification: 2010_06_08-PM-12_01_37

Home Index