Nuprl Definition : copathAgree

copathAgree(a.B[a];w;x;y) ==
  let n,p = x
  in let m,q = y
     in if (n) < (m)  then coPathAgree(a.B[a];n;w;p;q)  else coPathAgree(a.B[a];m;w;p;q)

Definitions occuring in Statement : coPathAgree: coPathAgree(a.B[a];n;w;p;q), less: if (a) < (b) then c else d, spread: spread def
Definitions occuring in definition : spread: spread def, less: if (a) < (b) then c else d, coPathAgree: coPathAgree(a.B[a];n;w;p;q)
FDL editor aliases : copathAgree

Latex:
copathAgree(a.B[a];w;x;y) == let n,p = x in let m,q = y in if (n) < (m) then coPathAgree(a.B[a];n;w;p;q) else coPathAgree(a.B[a];m;w;p;q) Date html generated: 2018_07_25-PM-01_40_39 Last ObjectModification: 2018_06_01-AM-08_41_52 Theory : co-recursion Home Index