Nuprl Definition : Paasche-alg-1

Paasche-alg-1(k) ==  Longs-algorithm(λi.if (i =z 0) then else fi a.a;k;0;k)



Definitions occuring in Statement :  Longs-algorithm: Longs-algorithm(h;n;a;b;c) ifthenelse: if then else fi  eq_int: (i =z j) lambda: λx.A[x] natural_number: $n
Definitions occuring in definition :  Longs-algorithm: Longs-algorithm(h;n;a;b;c) ifthenelse: if then else fi  eq_int: (i =z j) lambda: λx.A[x] natural_number: $n
FDL editor aliases :  Paasche-alg-1

Latex:
Paasche-alg-1(k)  ==    Longs-algorithm(\mlambda{}i.if  (i  =\msubz{}  0)  then  1  else  0  fi  ;\mlambda{}a.a;k;0;k)



Date html generated: 2016_05_15-PM-10_02_52
Last ObjectModification: 2015_09_23-AM-08_21_57

Theory : power!series


Home Index