1. У лямбда-численні — формальна операція перейменування зв’язаної змінної в лямбда-виразі, що не змінює смислу виразу; заміна формального параметра функції на іншу змінну для уникнення колізії імен.
2. У фізиці елементарних частинок — ядерна реакція, в якій альфа-частинка поглинається ядром-мішенню, що призводить до випромінювання протона та утворення нового ядра.