Nuprl Definition : permute_list
(L o f) == mklist(||L||;λi.L[f i])
Definitions occuring in Statement :
mklist: mklist(n;f),
select: L[n],
length: ||as||,
apply: f a,
lambda: λx.A[x]
Definitions occuring in definition :
mklist: mklist(n;f),
length: ||as||,
lambda: λx.A[x],
select: L[n],
apply: f a
FDL editor aliases :
permute_list
Latex:
(L o f) == mklist(||L||;\mlambda{}i.L[f i])
Date html generated:
2016_05_14-PM-02_16_47
Last ObjectModification:
2015_09_22-PM-05_55_44
Theory : list_1
Home
Index