Письмо В ответ на письмо от 17.09.1980 - извиняется за задержку, которая произошла из-за длительных путешествий в последнем квартале 1980 года. Сообщает об использовании многосортной алгебры; надеется обсудить эту тему подробнее на предстоящей Десятой конференции по математическим основам вычислительной науки. Дата: 22.01.1981 Оригинальный язык документа: английский Авторы: Андрей Петрович Ершов Организации: "Ай-Би-Эм", Исследовательский центр Томаса Уотсона Адресаты: Джеймс В. Тэтчер
