Nuprl Definition : product-map
product-map(F;as;bs) == concat(map(λa.map(λb.(F a b);bs);as))
Definitions occuring in Statement :
concat: concat(ll),
map: map(f;as),
apply: f a,
lambda: λx.A[x]
Definitions occuring in definition :
concat: concat(ll),
map: map(f;as),
lambda: λx.A[x],
apply: f a
FDL editor aliases :
product-map
Latex:
product-map(F;as;bs) == concat(map(\mlambda{}a.map(\mlambda{}b.(F a b);bs);as))
Date html generated:
2016_05_14-AM-07_38_45
Last ObjectModification:
2015_12_21-PM-01_46_20
Theory : list_1
Home
Index