Nuprl Definition : ml-gcd-list
ml-gcd-list(L) == ml-accumulate(λa,b. ml-gcd(a;b);hd(L);tl(L))
Definitions occuring in Statement :
ml-gcd: ml-gcd(a;b),
ml-accumulate: ml-accumulate(f;b;l),
hd: hd(l),
tl: tl(l),
lambda: λx.A[x]
Definitions occuring in definition :
ml-accumulate: ml-accumulate(f;b;l),
lambda: λx.A[x],
ml-gcd: ml-gcd(a;b),
hd: hd(l),
tl: tl(l)
FDL editor aliases :
ml-gcd-list
Latex:
ml-gcd-list(L) == ml-accumulate(\mlambda{}a,b. ml-gcd(a;b);hd(L);tl(L))
Date html generated:
2017_09_29-PM-05_51_34
Last ObjectModification:
2017_05_21-PM-04_18_32
Theory : ML
Home
Index