Nuprl Definition : copath-at

copath-at(w;p) ==  let n,q = p in coPath-at(n;w;q)


Definitions occuring in Statement :  coPath-at: coPath-at(n;w;p),  spread: spread def
Definitions occuring in definition :  coPath-at: coPath-at(n;w;p),  spread: spread def
FDL editor aliases :  copath-at
Latex:
copath-at(w;p)  ==    let  n,q  =  p  in  coPath-at(n;w;q)


Date html generated: 2018_07_25-PM-01_38_53
Last ObjectModification: 2018_07_18-PM-05_20_02

Theory : co-recursion


Home Index