Nuprl Definition : altWind

altWind(h;w) ==  h w (λb.altWind(h;coW-item(w;b)))


Definitions occuring in Statement :  coW-item: coW-item(w;b),  apply: f a,  lambda: λx.A[x]
Definitions occuring in definition :  coW-item: coW-item(w;b),  lambda: λx.A[x],  apply: f a
FDL editor aliases :  altWind
Latex:
altWind(h;w)  ==    h  w  (\mlambda{}b.altWind(h;coW-item(w;b)))


Date html generated: 2018_07_29-AM-09_22_17
Last ObjectModification: 2018_07_26-PM-05_33_00

Theory : co-recursion


Home Index