Nuprl Definition : rename-one-name

rename-one-name(z1;z2) ==  λx.if eq-cname(x;z1) then z2 else x fi 


Definitions occuring in Statement :  eq-cname: eq-cname(x;y),  ifthenelse: if b then t else f fi ,  lambda: λx.A[x]
Definitions occuring in definition :  lambda: λx.A[x],  ifthenelse: if b then t else f fi ,  eq-cname: eq-cname(x;y)
FDL editor aliases :  rename-one-name
Latex:
rename-one-name(z1;z2)  ==    \mlambda{}x.if  eq-cname(x;z1)  then  z2  else  x  fi 


Date html generated: 2016_05_20-AM-09_34_25
Last ObjectModification: 2015_09_23-AM-09_29_42

Theory : cubical!sets


Home Index