Nuprl Definition : l_interval
l_interval(l;j;i) == mklist(i - j;λx.l[j + x])
Definitions occuring in Statement :
mklist: mklist(n;f),
select: L[n],
lambda: λx.A[x],
subtract: n - m,
add: n + m
Definitions occuring in definition :
mklist: mklist(n;f),
subtract: n - m,
lambda: λx.A[x],
select: L[n],
add: n + m
FDL editor aliases :
l_interval
Latex:
l\_interval(l;j;i) == mklist(i - j;\mlambda{}x.l[j + x])
Date html generated:
2016_05_14-PM-01_45_51
Last ObjectModification:
2015_09_22-PM-05_54_42
Theory : list_1
Home
Index