ББК 22.12 Б24
УДК 510.2, 510.6
Барендрегт Х.
Ламбда-исчисление, его синтаксис и семантика, 1985 г.
Lambda Calculus, its syntax and semantics
УДК 510.2, 510.6
Барендрегт Х.
Ламбда-исчисление, его синтаксис и семантика, 1985 г.
Lambda Calculus, its syntax and semantics
| Доступность и MD5 хэш | Формат | Размер |
|---|---|---|
| 5c21c52348deef03c776defcc09cc3ad | djvu | 5.03 мб |