Nuprl Definition : filter2
filter2(P;L) == reduce2(λx,i,l. if P i then [x / l] else l fi ;[];0;L)
Definitions occuring in Statement :
reduce2: reduce2(f;k;i;as),
cons: [a / b],
nil: [],
ifthenelse: if b then t else f fi ,
apply: f a,
lambda: λx.A[x],
natural_number: $n
Definitions occuring in definition :
reduce2: reduce2(f;k;i;as),
lambda: λx.A[x],
ifthenelse: if b then t else f fi ,
apply: f a,
cons: [a / b],
nil: [],
natural_number: $n
FDL editor aliases :
filter2
Latex:
filter2(P;L) == reduce2(\mlambda{}x,i,l. if P i then [x / l] else l fi ;[];0;L)
Date html generated:
2016_05_15-PM-01_56_43
Last ObjectModification:
2015_09_23-AM-07_37_31
Theory : list!
Home
Index