Nuprl Definition : subst-term

subst-term(s;t) ==  replace-vars(s;subst-frame(s;t))


Definitions occuring in Statement :  subst-frame: subst-frame(s;t),  replace-vars: replace-vars(s;t)
Definitions occuring in definition :  replace-vars: replace-vars(s;t),  subst-frame: subst-frame(s;t)
FDL editor aliases :  subst-term
Latex:
subst-term(s;t)  ==    replace-vars(s;subst-frame(s;t))


Date html generated: 2020_05_19-PM-09_57_54
Last ObjectModification: 2020_03_09-PM-04_10_06

Theory : terms


Home Index