×

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].

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

Biographic References:

Mints, Grigori
PDFBibTeX XMLCite