Nuprl Definition : A-assign2
A-assign2(AModel;i;v) == A-assign(AModel) i v
Definitions occuring in Statement :
A-assign: A-assign(AModel),
apply: f a
Definitions occuring in definition :
apply: f a,
A-assign: A-assign(AModel)
FDL editor aliases :
A-assign2
Latex:
A-assign2(AModel;i;v) == A-assign(AModel) i v
Date html generated:
2016_05_15-PM-02_20_42
Last ObjectModification:
2015_09_23-AM-07_38_49
Theory : monads
Home
Index