Nuprl Definition : rep-seq-from

rep-seq-from(s;n;f) ==  λx.if (x) < (n)  then s x  else (f x)


Definitions occuring in Statement :  less: if (a) < (b)  then c  else d,  apply: f a,  lambda: λx.A[x]
Definitions occuring in definition :  lambda: λx.A[x],  less: if (a) < (b)  then c  else d,  apply: f a
FDL editor aliases :  rep-seq-from
Latex:
rep-seq-from(s;n;f)  ==    \mlambda{}x.if  (x)  <  (n)    then  s  x    else  (f  x)


Date html generated: 2016_05_14-PM-09_45_11
Last ObjectModification: 2016_01_10-PM-04_06_57

Theory : continuity


Home Index