Nuprl Definition : A-eval
A-eval(AModel) == snd(snd(snd(snd(snd(snd(snd(snd(snd(snd(AModel))))))))))
Definitions occuring in Statement :
pi2: snd(t)
Definitions occuring in definition :
pi2: snd(t)
FDL editor aliases :
A-eval
Latex:
A-eval(AModel) == snd(snd(snd(snd(snd(snd(snd(snd(snd(snd(AModel))))))))))
Date html generated:
2016_05_15-PM-02_16_08
Last ObjectModification:
2015_09_23-AM-07_38_21
Theory : monads
Home
Index