Nuprl Definition : MTree-rank

MTree-rank(t) ==
  fix((λMTree-rank,t. if MTree_Leaf?(t)
                     then 0
                     else imax-list(map(λa.(MTree-rank (MTree_Node-children(t) a));MTree_Node-labels(t))) + 1
                     fi )) 
  t


Definitions occuring in Statement :  MTree_Leaf?: MTree_Leaf?(v),  MTree_Node-children: MTree_Node-children(v),  MTree_Node-labels: MTree_Node-labels(v),  imax-list: imax-list(L),  map: map(f;as),  ifthenelse: if b then t else f fi ,  apply: f a,  fix: fix(F),  lambda: λx.A[x],  add: n + m,  natural_number: $n
FDL editor aliases :  MTree-rank
MTree-rank(t)  ==
    fix((\mlambda{}MTree-rank,t.  if  MTree\_Leaf?(t)
                                          then  0
                                          else  imax-list(map(\mlambda{}a.(MTree-rank  (MTree\_Node-children(t)  a));
                                                                                MTree\_Node-labels(t)))
                                                    +  1
                                          fi  )) 
    t


Date html generated: 2015_07_17-AM-07_46_23
Last ObjectModification: 2013_02_13-AM-09_33_41

Home Index