scientific article; zbMATH DE number 3936476

MaRDI QIDQ3707360zbMATH OpenFDO

Authors Brian H. Mayoh

Publication date 1985

zbMATH Keywords

computer programmingconstructive mathematics

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Recommendations

• Constructive Mathematics and Functional Programming (Abstract)
• scientific article; zbMATH DE number 3859117
• Constructive Mathematics in Theory and Programming Practice
• scientific article; zbMATH DE number 3894466
• scientific article; zbMATH DE number 3850461

Cited in

(10)

• A bridge between constructive logic and computer programming
• Institutions of variable truth values: An approach in the ordered style
• Term charters
• scientific article; zbMATH DE number 3859117 (Why is no real title available?)
• Constructive Mathematics in Theory and Programming Practice
• scientific article; zbMATH DE number 3999882 (Why is no real title available?)
• scientific article; zbMATH DE number 3894466 (Why is no real title available?)
• Constructive Mathematics and Functional Programming (Abstract)
• Preservation in many-valued truth institutions
• Graded consequence: an institution theoretic study

This page was built for publication:

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