Tyugu, Enn Grigori Mints and computer science. (English) Zbl 1246.03010 Feferman, Solomon (ed.) et al., Proofs, categories and computations. Essays in honor of Grigori Mints. With the collaboration of Vladik Kreinovich, Vladimir Lifschitz, and Ruy de Queiroz. London: College Publications (ISBN 978-1-84890-012-7/pbk). Tributes 13, 267-277 (2010). A survey of works of Grigori Mints from the eighties of the last century is presented. They are devoted to applications of logic to program synthesis and to semantics of specification languages. The main results of these works are practical: defining limits of application of the intuitionistic propositional calculus to program synthesis and introduction of a practical program synthesis method that is based on type inference.For the entire collection see [Zbl 1203.03007]. Reviewer: Damas Gruska (Bratislava) MSC: 03-03 History of mathematical logic and foundations 03B70 Logic in computer science 68-03 History of computer science 01A60 History of mathematics in the 20th century Keywords:program synthesis; structural synthesis; intuitionistic propositional logic; PRIZ system; semantics of specification languages; type inference Biographic References: Mints, Grigori PDFBibTeX XMLCite \textit{E. Tyugu}, Tributes 13, 267--277 (2010; Zbl 1246.03010)