Nuprl Definition : es-search-back

es-search-back(es;x.f[x];e) == gensearch(

x.f[x];

e.es-pred?(es;e);e)

Definitions occuring in Statement : es-pred?: es-pred?(es;e), lambda:

x.A[x], gensearch: gensearch(f;g;x)
Definitions : gensearch: gensearch(f;g;x), lambda:

x.A[x], es-pred?: es-pred?(es;e)
FDL editor aliases : es-search-back

es-search-back(es;x.f[x];e) == gensearch(\mlambda{}x.f[x];\mlambda{}e.es-pred?(es;e);e) Date html generated: 2011_08_16-AM-10_36_30 Last ObjectModification: 2010_11_19-AM-11_20_04 Home Index