Аннотация:Дж. Бэкус. Алгебра функциональных программ: мышление функционального
уровня, линейные уравнения и обобщенные определения. Перевод Манциво-
дыА.А 8
Дополнение переводчика 54
Д. С. Скотт. Области в денотационной семантике. Перевод Воронкова А. А. 56
Дж. Р. Хиндли. Комбинаторы и лямбда-исчисления. Краткий обзор. Перевод
Найдича Д. Э. 119
С. Л. Пейтон Джоунз. Введение в суперкомбинаторы для вполне задержанных
вычислений. Перевод Антимирова В. М. 141
Ж. Юэ, Д. Оппен. Равенства и правила переписывания. Обзор. Перевод
Дегтярёва А. И, 176
Д. Миллер. Логический анализ модулей в логическом программировании.
Перевод Воронкова А. А 233
Дж. А. Гоген, Ж. Мезегер. Модели и равенство в логическом
программировании. Перевод Антимирова В. М. 274
К. А. Гоуд. Доказательства как описания вычислений. Перевод
Воронкова А. А 311
В. М. Антимиров, А. А. Воронков, А. И. Дегтярёв, М. В. Захарьящев,
В. С. Проценко. Математическая логика в программировании. Обзор 331