Читая Лямбда-исчисление в вики, наткнулся на терминCapture-avoiding substitutions, Может ли кто-нибудь объяснить, что это значит, поскольку я нигде не смог найти определения.

Спасибо

PS

То, что я хочу знать, является причиной для того, чтобы рассказать, что операцияCapture-avoiding substitutions, Было бы здорово помочь, если кто-то может это сделать