Письмо

В ответ на письмо от 17.09.1980 - извиняется за задержку, которая произошла из-за длительных путешествий в последнем квартале 1980 года. Сообщает об использовании многосортной алгебры; надеется обсудить эту тему подробнее на предстоящей Десятой конференции по математическим основам вычислительной науки.