Β-редукция (Β-jy;rtenx)
Перейти к навигации
Перейти к поиску
Перенаправление на:
Лямбда-исчисление#β-редукция