Nuprl Definition : copath-extend
copath-extend(q;t) == let n,p = q in <n + 1, coPath-extend(n;p;t)>
Definitions occuring in Statement :
coPath-extend: coPath-extend(n;p;t),
spread: spread def,
pair: <a, b>,
add: n + m,
natural_number: $n
Definitions occuring in definition :
coPath-extend: coPath-extend(n;p;t),
natural_number: $n,
add: n + m,
pair: <a, b>,
spread: spread def
FDL editor aliases :
copath-extend
Latex:
copath-extend(q;t) == let n,p = q in <n + 1, coPath-extend(n;p;t)>
Date html generated:
2018_07_25-PM-01_39_06
Last ObjectModification:
2018_07_18-PM-07_22_44
Theory : co-recursion
Home
Index