Что означает $\forall x:A . B$ и пр.?

[Dims]

Что простыми словами означает выражение $\forall x:A . B$?

Так же непонятно, что означате $\mathbf{\lambda}x:A . B$?

Вот это $\mathbf{\lambda}A . B$ обозначает функцию, которая, действуя на $A$ даёт $B$. Правильно? Это те же самые обозначения или другие?

Означает ли что-нибудь в отдельности $A.B$?

Спасибки.

[Lion]

Хм... Могу лишь сказать, что $\lambda x.f(x,y)$ означает, что в функции $f(x,y)$ меняется только первый аргумент. Возможно, здесь что-то похожее...

[Dims]

Ну тут, вроде, понятно: выражение -- это функция, которая действуя на $x$ даёт $f(x,y)$