A bridge between constructive logic and computer programming

DOI10.1016/0304-3975(91)90310-XzbMath0737.68009OpenAlexW2020548593MaRDI QIDQ1179711

N. N. Nepejvoda

Publication date: 26 June 1992

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(91)90310-x

zbMATH Keywords

programming conceptsapplied constructive logics

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Subsystems of classical logic (including intuitionistic logic) (03B20) Other applications of logic (03B80)

Uses Software

• Nuprl

Cites Work

• Linear logic
• Justification of the structural synthesis of programs
• Algorithms in modern mathematics and computer science. Proceedings, Urgench, Uzbek SSR, September 16--22, 1979
• Constructive mathematics and computer programming
• Algorithm = logic + control
• On the interpretation of intuitionistic number theory
• Logical and algorithmic formalisms for the problem of correct program design
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A bridge between constructive logic and computer programming