Nuprl Definition : is-list-approx
is-list-approx(j) == is-list-fun()^j ⊥
Definitions occuring in Statement :
is-list-fun: is-list-fun(),
fun_exp: f^n,
bottom: ⊥,
apply: f a
Definitions occuring in definition :
apply: f a,
fun_exp: f^n,
is-list-fun: is-list-fun(),
bottom: ⊥
FDL editor aliases :
is-list-approx
Latex:
is-list-approx(j) == is-list-fun()\^{}j \mbot{}
Date html generated:
2016_05_15-PM-10_09_48
Last ObjectModification:
2015_09_23-AM-08_22_26
Theory : eval!all
Home
Index