恩恩·图古 格里戈里铸币厂和计算机科学。 （英语） Zbl 1246.03010号 所罗门·费弗曼（编辑）等人，《证明、类别和计算》。纪念格里戈里造币厂的文章。与弗拉基克·克雷诺维奇、弗拉基米尔·利夫希茨和鲁伊·德·奎罗斯合作。伦敦：学院出版物（ISBN 978-1-84890-012-7/pbk）。《致敬》13，267-277（2010）。 本文对格里戈里造币厂上世纪80年代的作品进行了综述。他们致力于将逻辑应用于程序合成和规范语言的语义。这些工作的主要结果是实用的：定义了直觉命题演算在程序综合中的应用范围，并介绍了一种基于类型推理的实用程序综合方法。关于整个系列，请参见[Zbl 1203.03007号].审核人：达马斯·格鲁斯卡（布拉迪斯拉发） MSC公司： 03-03 数学逻辑和基础的历史 03B70号 计算机科学中的逻辑 68-03 计算机科学史 01A60型 20世纪数学史 关键词：程序综合;结构合成;直觉命题逻辑;PRIZ系统;规范语言的语义;类型推断 传记参考： 格里戈里薄荷 PDF格式BibTeX公司 XML格式引用 \textit{E.Tyugu}，致敬13，267--277（2010；Zbl 1246.03010）