Nuprl Definition : const-stream
const-stream(x) == mk-stream(λz.x;x)
Definitions occuring in Statement :
mk-stream: mk-stream(f;x),
lambda: λx.A[x]
Definitions occuring in definition :
mk-stream: mk-stream(f;x),
lambda: λx.A[x]
FDL editor aliases :
const-stream
Latex:
const-stream(x) == mk-stream(\mlambda{}z.x;x)
Date html generated:
2016_05_14-AM-06_23_06
Last ObjectModification:
2015_09_22-PM-05_47_58
Theory : co-recursion
Home
Index