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:
as
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
Latex:
free-dl-meet(as;bs) ==
accumulate (with value cs and list item a):
cs @ map(\mlambda{}b.(a @ b);bs)
over list:
as
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