|
|
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|
Документы, связанные с В. Ю. Сазонов Тезисы доклада, 23.06.1983 "On Lambda-calculus with an Assignment Operator" и сопроводительное письмо.
Письмо, В. Ю. Сазонов->Д. Бьорнер, 10.08.1987Текст доклада "Lambda-calculus, assignment operator and denotational semantics" послан.
По порядку | По алфавиту | По дате Назад |
|
| Switch to English | Поиск | Расширенный поиск | Папки | Темы | |
|
|||||
|
|||||
|
|||||
|
|||||
|
