Nuprl Definition : has-valueall

has-valueall(a) ==  (evalall(a))↓


Definitions occuring in Statement :  has-value: (a)↓,  evalall: evalall(t)
Definitions occuring in definition :  has-value: (a)↓,  evalall: evalall(t)
FDL editor aliases :  has-valueall
Latex:
has-valueall(a)  ==    (evalall(a))\mdownarrow{}


Date html generated: 2016_05_13-PM-03_24_09
Last ObjectModification: 2015_09_22-PM-05_44_44

Theory : call!by!value_1


Home Index