Nuprl Definition : A-pre-val

A-pre-val(AType;A;i) ==  idx(AType) i A


Definitions occuring in Statement :  apply: f a
Definitions occuring in definition :  apply: f a
FDL editor aliases :  A-pre-val
Latex:
A-pre-val(AType;A;i)  ==    idx(AType)  i  A


Date html generated: 2016_05_15-PM-02_16_11
Last ObjectModification: 2015_09_23-AM-07_38_22

Theory : monads


Home Index