Nuprl Definition : A-bind2

m >> \x.k[x] ==  A-bind(AModel) y.k[y])



Definitions occuring in Statement :  A-bind: A-bind(AModel) apply: a lambda: λx.A[x]
Definitions occuring in definition :  apply: a A-bind: A-bind(AModel) lambda: λx.A[x]
FDL editor aliases :  A-bind2

Latex:
m  >>  \mbackslash{}x.k[x]  ==    A-bind(AModel)  m  (\mlambda{}y.k[y])



Date html generated: 2016_05_15-PM-02_20_35
Last ObjectModification: 2015_09_23-AM-07_38_47

Theory : monads


Home Index