Просвещённые друзья!

[nomen_nescio]

В каком смысле используется лямбда вот в такой, например, кванторной записи:
vsjakij = λQ λP ∀k ((k < nom (Q)) → P(k)) (из статьи Бронникова)
Спасибо