Ламбда-исчисление. Его синтаксис и семантика Пер. с англ

Библиографические подробности
Главный автор: Барендрегт Х.
Формат:
Язык:Undetermined
Опубликовано: M Мир 1985