Nuprl Definition : nats
nats() == mk-stream(λx.(x + 1);0)
Definitions occuring in Statement :
mk-stream: mk-stream(f;x),
lambda: λx.A[x],
add: n + m,
natural_number: $n
Definitions occuring in definition :
mk-stream: mk-stream(f;x),
lambda: λx.A[x],
add: n + m,
natural_number: $n
FDL editor aliases :
nats
Latex:
nats() == mk-stream(\mlambda{}x.(x + 1);0)
Date html generated:
2016_05_14-AM-06_23_41
Last ObjectModification:
2015_09_22-PM-05_48_03
Theory : co-recursion
Home
Index