Nuprl Definition : select
L[n] == fix((λselect,n,L. let x,y = L in if (n) < (1) then x else eval m = n - 1 in select m y)) n L
Definitions occuring in Statement :
callbyvalue: callbyvalue,
less: if (a) < (b) then c else d,
apply: f a,
fix: fix(F),
lambda: λx.A[x],
spread: spread def,
subtract: n - m,
natural_number: $n
Definitions occuring in definition :
fix: fix(F),
lambda: λx.A[x],
spread: spread def,
less: if (a) < (b) then c else d,
callbyvalue: callbyvalue,
subtract: n - m,
natural_number: $n,
apply: f a
FDL editor aliases :
select
Latex:
L[n] == fix((\mlambda{}select,n,L. let x,y = L in if (n) < (1) then x else eval m = n - 1 in select m y)) \000Cn L
Date html generated:
2016_05_14-AM-06_35_32
Last ObjectModification:
2015_12_03-PM-02_05_48
Theory : list_0
Home
Index