Nuprl Definition : subst-frame
subst-frame(s;t) == alpha-avoid(vars-of-subst(s);t)
Definitions occuring in Statement :
vars-of-subst: vars-of-subst(s),
alpha-avoid: alpha-avoid(L;t)
Definitions occuring in definition :
alpha-avoid: alpha-avoid(L;t),
vars-of-subst: vars-of-subst(s)
FDL editor aliases :
subst-frame
Latex:
subst-frame(s;t) == alpha-avoid(vars-of-subst(s);t)
Date html generated:
2020_05_19-PM-09_57_46
Last ObjectModification:
2020_03_09-PM-04_10_01
Theory : terms
Home
Index