Der übertypisierte Lambda-Kalkül : Diss. /
| Основен автор: | Raulefs, Peter |
|---|---|
| Формат: | Книга |
| Език: | German |
| Публикувано: |
Karlsruhe :
Universität Karlsruhe,
1975.
|
| Физически характеристики: |
185 p. ; 20 cm. |
|---|