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 :  apply: f a,  lambda: λx.A[x],  coW-item: coW-item(w;b)
FDL editor aliases :  altWind
Latex:
altWind(h;w)  ==    h  w  (\mlambda{}b.altWind(h;coW-item(w;b)))


Date html generated: 2019_06_20-PM-01_12_26
Last ObjectModification: 2019_01_02-PM-01_35_48

Theory : co-recursion-2


Home Index