capture-avoiding substitution

1. REDIRECT Lambda calculus#Capture-avoiding substitutions {{R with possibilities}}

Category:Substitution (logic)