|
Pulseofmalstrem |
Литература по лямбда-исчислению.  06.11.2016, 20:23 |
|
16/12/14
474
|
Последний раз редактировалось Pulseofmalstrem 06.11.2016, 20:25, всего редактировалось 1 раз.
Доброе время суток!
Посоветуйте литературу по лямбда-исчислению и комбинаторной логике, желателен формат монографии, чтобы подробно освещались разные аспекты этой теории.
|
|
|
|
 |
|
arseniiv |
Re: Литература по лямбда-исчислению. 06.11.2016, 20:42 |
|
| Заслуженный участник |
 |
27/04/09
28128
|
|
О, монографии! Есть, например, монография Барендрегта Ламбда-исчисление. Его синтаксис и семантика, но оригинал — 1981 года (перевод — 1985).
|
|
|
|
|
  |
Страница 1 из 1
|
[ Сообщений: 2 ] |
|
Модераторы: Модераторы Математики, Супермодераторы
