Nuprl Definition : replace-seq-from

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



Definitions occuring in Statement :  less: if (a) < (b)  then c  else d apply: a lambda: λx.A[x]
Definitions occuring in definition :  lambda: λx.A[x] less: if (a) < (b)  then c  else d apply: a
FDL editor aliases :  replace-seq-from

Latex:
replace-seq-from(s;n;k)  ==    \mlambda{}x.if  (x)  <  (n)    then  s  x    else  k



Date html generated: 2016_05_14-PM-09_46_55
Last ObjectModification: 2015_10_21-PM-06_37_14

Theory : continuity


Home Index