On the relationship between foundations of programming and mathematics

DOI10.1023/A:1012746417053zbMath1040.68013OpenAlexW1479884901MaRDI QIDQ1403202

S. S. Lavrov

Publication date: 1 September 2003

Published in: Programming and Computer Software (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1012746417053

zbMATH Keywords

formalization

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

This page was built for publication: On the relationship between foundations of programming and mathematics