Nuprl Definition : primtailrec
primtailrec(n;i;b;f) == if (n) < (1) then b else eval m = n - 1 in eval j = i + 1 in primtailrec(m;j;f i b;f)
Definitions occuring in Statement :
callbyvalue: callbyvalue,
less: if (a) < (b) then c else d,
apply: f a,
subtract: n - m,
add: n + m,
natural_number: $n
Definitions occuring in definition :
less: if (a) < (b) then c else d,
subtract: n - m,
callbyvalue: callbyvalue,
add: n + m,
natural_number: $n,
apply: f a
FDL editor aliases :
primtailrec
Latex:
primtailrec(n;i;b;f) ==
if (n) < (1) then b else eval m = n - 1 in eval j = i + 1 in primtailrec(m;j;f i b;f)
Date html generated:
2019_06_20-AM-11_27_25
Last ObjectModification:
2019_01_28-PM-03_54_44
Theory : call!by!value_2
Home
Index