Nuprl Definition : eval_bag
eval_bag(b) == eval_list(b)
Definitions occuring in Statement :
eval_list: eval_list(t)
Definitions occuring in definition :
eval_list: eval_list(t)
FDL editor aliases :
eval_bag
Latex:
eval\_bag(b) == eval\_list(b)
Date html generated:
2016_05_15-PM-02_21_35
Last ObjectModification:
2015_09_23-AM-07_38_56
Theory : bags
Home
Index