Nuprl Definition : case-real3-seq

case-real3-seq(a;b;f) ==  λn.if f n then a n else b n fi 


Definitions occuring in Statement :  ifthenelse: if b then t else f fi ,  apply: f a,  lambda: λx.A[x]
Definitions occuring in definition :  lambda: λx.A[x],  ifthenelse: if b then t else f fi ,  apply: f a
FDL editor aliases :  case-real3-seq
Latex:
case-real3-seq(a;b;f)  ==    \mlambda{}n.if  f  n  then  a  n  else  b  n  fi 


Date html generated: 2019_10_29-AM-09_37_15
Last ObjectModification: 2019_06_14-PM-03_05_24

Theory : reals


Home Index