Enquanto lia o Lambda Calculus em Wiki, me deparei com o termoCapturar e evitar substituições. Alguém pode, por favor, explicar o que significa, pois não consegui encontrar uma definição de qualquer lugar.

obrigado

PS

O que eu quero saber é a razão para dizer que a operaçãoCapturar e evitar substituições. Seria uma grande ajuda se alguém pudesse fazer isso