Ламбда-исчисление. Его синтаксис и семантика Пер. с англ
| Главный автор: | |
|---|---|
| Формат: | |
| Язык: | Undetermined |
| Опубликовано: |
M
Мир
1985
|
| Главный автор: | |
|---|---|
| Формат: | |
| Язык: | Undetermined |
| Опубликовано: |
M
Мир
1985
|