Nuprl Definition : poly-int-val

p@l ==  poly-val-fun(p) l


Wellformedness Lemmas :  poly-int-val_wf2,  poly-int-val_wf
Definitions occuring in Statement :  poly-val-fun: poly-val-fun(p),  apply: f a
Definitions occuring in definition :  apply: f a,  poly-val-fun: poly-val-fun(p)
FDL editor aliases :  poly-int-val poly-int-val
Latex:
p@l  ==    poly-val-fun(p)  l


Date html generated: 2017_10_01-AM-08_32_29
Last ObjectModification: 2017_05_02-PM-01_48_38

Theory : integer!polynomial!trees


Home Index