Nuprl Definition : mccarthy91
mccarthy91(x) == if (100) < (x) then x - 10 else eval y = x + 11 in eval z = mccarthy91(y) in mccarthy91(z)
Definitions occuring in Statement :
callbyvalue: callbyvalue,
less: if (a) < (b) then c else d,
subtract: n - m,
add: n + m,
natural_number: $n
Definitions occuring in definition :
less: if (a) < (b) then c else d,
subtract: n - m,
add: n + m,
natural_number: $n,
callbyvalue: callbyvalue
FDL editor aliases :
mccarthy91
Latex:
mccarthy91(x) ==
if (100) < (x) then x - 10 else eval y = x + 11 in eval z = mccarthy91(y) in mccarthy91(z)
Date html generated:
2018_05_21-PM-00_30_24
Last ObjectModification:
2017_12_27-PM-06_24_01
Theory : int_2
Home
Index