Барендрегт, Хендрик Питер

Ламбада-исчисление : Его синтаксис и семантика / Хендрик Барендрегт ; Пер. с англ. Г. Е. Минца ; Под ред. А. С. Кузичева. - Москва : Мир, 1985. - 606 с.

Библиогр. : с. 574-586.

მათემატიკური ლიგიკა ლამბდა Calculus

510.6