Nuprl Definition : select_fun_last
select_fun_last(g;m) == select_fun_ap(g;m + 1;m)
Definitions occuring in Statement :
select_fun_ap: select_fun_ap(g;n;m),
add: n + m,
natural_number: $n
Definitions occuring in definition :
select_fun_ap: select_fun_ap(g;n;m),
add: n + m,
natural_number: $n
FDL editor aliases :
select_fun_last
Latex:
select\_fun\_last(g;m) == select\_fun\_ap(g;m + 1;m)
Date html generated:
2016_05_15-PM-02_10_18
Last ObjectModification:
2015_09_23-AM-07_38_14
Theory : untyped!computation
Home
Index