A bridge between constructive logic and computer programming

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

Review text

The paper is a good introduction into applied constructive logics and presents, in an informally manner, some logic notions and their analogies among programming concepts. Also, there are shown some non-usually complex examples. All of these are very useful in synthesis and analysis of computer programs and programming languages.

Recommendations

Cites work

Cited in

(6)

Describes a project that uses

Uses Software

Nuprl

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1179711)