Nuprl Definition : peval

peval(v0;x) ==  TERMOF{valuation-exists-ext:o, 1:l} x v0 x


Definitions occuring in Statement :  apply: f a
Definitions occuring in definition :  apply: f a
TermOfs occuring in Definition :  valuation-exists-ext
FDL editor aliases :  peval
Latex:
peval(v0;x)  ==    TERMOF\{valuation-exists-ext:o,  1:l\}  x  v0  x


Date html generated: 2016_05_15-PM-07_17_34
Last ObjectModification: 2015_09_23-AM-08_14_00

Theory : general


Home Index