Сопроводительное письмо

К ответу авторов статьи "Система типов языков программирования" на замечания С.С. Лавтора и к переработанному варианту статьи с просьбой переслать комментарии к 10-15 июня 1985 г. для обсуждения на заседании редколлегии