Nuprl Definition : interleave2
interleave2(a;v) == concat(map(λu.interleave1(a;u);v))
Definitions occuring in Statement :
interleave1: interleave1(a;u)
,
concat: concat(ll)
,
map: map(f;as)
,
lambda: λx.A[x]
FDL editor aliases :
interleave2
Latex:
interleave2(a;v) == concat(map(\mlambda{}u.interleave1(a;u);v))
Date html generated:
2015_07_23-AM-11_57_54
Last ObjectModification:
2012_08_30-PM-01_48_17
Home
Index