Nuprl Definition : fdl-hom

fdl-hom(L;f) ==
  λz.accumulate (with value a and list item xs):
      a ∨ accumulate (with value b and list item x):
           b ∧ f x
          over list:
            xs
          with starting value:
           1)
     over list:
       z
     with starting value:
      0)


Definitions occuring in Statement :  lattice-0: 0,  lattice-1: 1,  lattice-join: a ∨ b,  lattice-meet: a ∧ b,  list_accum: list_accum,  apply: f a,  lambda: λx.A[x]
Definitions occuring in definition :  lambda: λx.A[x],  lattice-join: a ∨ b,  list_accum: list_accum,  lattice-meet: a ∧ b,  apply: f a,  lattice-1: 1,  lattice-0: 0
FDL editor aliases :  fdl-hom
Latex:
fdl-hom(L;f)  ==
    \mlambda{}z.accumulate  (with  value  a  and  list  item  xs):
            a  \mvee{}  accumulate  (with  value  b  and  list  item  x):
                      b  \mwedge{}  f  x
                    over  list:
                        xs
                    with  starting  value:
                      1)
          over  list:
              z
          with  starting  value:
            0)


Date html generated: 2020_05_20-AM-08_27_42
Last ObjectModification: 2017_01_22-PM-09_54_40

Theory : lattices


Home Index