Nuprl Definition : count
count(P;L) == reduce(λa,n. (if P a then 1 else 0 fi + n);0;L)
Definitions occuring in Statement :
reduce: reduce(f;k;as),
ifthenelse: if b then t else f fi ,
apply: f a,
lambda: λx.A[x],
add: n + m,
natural_number: $n
Definitions occuring in definition :
reduce: reduce(f;k;as),
lambda: λx.A[x],
add: n + m,
ifthenelse: if b then t else f fi ,
apply: f a,
natural_number: $n
FDL editor aliases :
count
Latex:
count(P;L) == reduce(\mlambda{}a,n. (if P a then 1 else 0 fi + n);0;L)
Date html generated:
2016_05_14-AM-07_41_23
Last ObjectModification:
2015_09_22-PM-05_53_56
Theory : list_1
Home
Index