Nuprl Definition : better-fibs
better-fibs() == stream-map(λp.(fst(p));mk-stream(λp.let a,b = p in eval c = a + b in <b, c>;<1, 1>))
Definitions occuring in Statement :
stream-map: stream-map(f;s),
mk-stream: mk-stream(f;x),
callbyvalue: callbyvalue,
pi1: fst(t),
lambda: λx.A[x],
spread: spread def,
pair: <a, b>,
add: n + m,
natural_number: $n
Definitions occuring in definition :
stream-map: stream-map(f;s),
pi1: fst(t),
mk-stream: mk-stream(f;x),
lambda: λx.A[x],
spread: spread def,
callbyvalue: callbyvalue,
add: n + m,
pair: <a, b>,
natural_number: $n
FDL editor aliases :
better-fibs
Latex:
better-fibs() == stream-map(\mlambda{}p.(fst(p));mk-stream(\mlambda{}p.let a,b = p in eval c = a + b in <b, c>ə, 1>\000C))
Date html generated:
2016_05_14-PM-09_28_18
Last ObjectModification:
2015_09_22-PM-06_03_10
Theory : num_thy_1
Home
Index