Документы, связанные с Робин Милнер

  • Письмо Р. Милнер -> А.П. Ершов 22.08.1972
    Благодарит за прекрасную организацию конференции, поздравляет с успехом. Сообщает, что посылает несколько работ, на которых основывался его доклад. Текст для Трудов в течение одной-двух недель вышлет. /Текст рукописный./
  • Письмо Р. Милнер -> А.П. Ершов 29.08.1972
    Сообщает, что высылает два экземпляра своей статьи, которая включена в Труды симпозиума по теоретическому программированию. Надеется, что еще не слишком поздно. /Текст рукописный./
  • Письмо с конвертом Р.А. Плюшкявичус -> С.С. Лавров 05.09.1974
    Благодарность за письмо и программу курса; обсуждение курса "Математическая логика и теория множеств"; просьба посоветовать литературу по исчислению программ
  • Письмо с приложением Д. Деннис -> А.П. Ершов 18.02.1977
    Рассматривается участие членов Программного комитета конференции на предстоящем заседании комитета. В приложении - анкетка для предварительной оценки адресатом представленных на конференцию докладов.
  • Предисловие М. Арбиб 01.08.1977
    к книге "Программирование корректных структурированных программ" С.А. Алагича и М.А. Арбиба, в котором авторы излагают поставленную перед собой цель.
  • Отчет А.П. Ершов 12.12.1984
    о командировке в ФРГ.
Назад