👤 Барендрегт Х.

Ламбда-Исчисление. его синтаксис и семантика Барендрегт Х.