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