Nuprl Definition : filter

filter(P;l) ==  reduce(λa,v. if then [a v] else fi ;[];l)



Definitions occuring in Statement :  reduce: reduce(f;k;as) cons: [a b] nil: [] ifthenelse: if then else fi  apply: a lambda: λx.A[x]
Definitions occuring in definition :  reduce: reduce(f;k;as) lambda: λx.A[x] ifthenelse: if then else fi  apply: a cons: [a b] nil: []
FDL editor aliases :  filter

Latex:
filter(P;l)  ==    reduce(\mlambda{}a,v.  if  P  a  then  [a  /  v]  else  v  fi  ;[];l)



Date html generated: 2016_05_14-AM-06_29_55
Last ObjectModification: 2015_12_03-PM-02_06_00

Theory : list_0


Home Index