Nuprl Definition : wfd-tree-rec

wfd-tree-rec(b;r.F[r];t) ==  W-rec(a,f,r.if a then b else F[r] fi ;t)


Definitions occuring in Statement :  W-rec: W-rec(a,f,r.F[a; f; r];w),  ifthenelse: if b then t else f fi 
Definitions occuring in definition :  W-rec: W-rec(a,f,r.F[a; f; r];w),  ifthenelse: if b then t else f fi 
FDL editor aliases :  wfd-tree-rec
Latex:
wfd-tree-rec(b;r.F[r];t)  ==    W-rec(a,f,r.if  a  then  b  else  F[r]  fi  ;t)


Date html generated: 2016_05_14-AM-06_17_53
Last ObjectModification: 2015_09_22-PM-05_47_28

Theory : co-recursion


Home Index