Nuprl Definition : shift-seq
shift-seq(c;a) == λn.(c cons-nat-seq(n;a))
Definitions occuring in Statement :
cons-nat-seq: cons-nat-seq(n;a)
,
apply: f a
,
lambda: λx.A[x]
Definitions occuring in definition :
cons-nat-seq: cons-nat-seq(n;a)
,
apply: f a
,
lambda: λx.A[x]
FDL editor aliases :
shift-seq
Latex:
shift-seq(c;a) == \mlambda{}n.(c cons-nat-seq(n;a))
Date html generated:
2017_04_20-AM-07_35_31
Last ObjectModification:
2017_04_07-PM-05_52_58
Theory : continuity
Home
Index