Nuprl Definition : free-dl-meet

free-dl-meet(as;bs) ==
  accumulate (with value cs and list item a):
   cs map(λb.(a b);bs)
  over list:
  with starting value:

Definitions occuring in Statement :  map: map(f;as) append: as bs list_accum: list_accum nil: [] lambda: λx.A[x]
Definitions occuring in definition :  list_accum: list_accum map: map(f;as) lambda: λx.A[x] append: as bs nil: []
FDL editor aliases :  free-dl-meet

free-dl-meet(as;bs)  ==
    accumulate  (with  value  cs  and  list  item  a):
      cs  @  map(\mlambda{}b.(a  @  b);bs)
    over  list:
    with  starting  value:

Date html generated: 2017_02_21-AM-09_53_33
Last ObjectModification: 2017_01_21-PM-04_35_10

Theory : lattices

Home Index