On the Relationship between Foundations of Programming and Mathematics

• Authors:

• S. S. Lavrov

• Affiliations:

• Institute of Applied Astronomy, Russian Academy of Sciences, St. Petersburg, 197110 Russia ssl@lvr.usr.pu.ru

• Venue:
• Programming and Computing Software
• Year:
• 2001