scientific article; zbMATH DE number 3911699

MaRDI QIDQ3687706zbMATH OpenFDO

Authors Robert Constable

Publication date 1984

zbMATH Keywords

higher order predicate calculusprimitive recursive functionsprogramming logicpropositions-as-types principleSimple Arithmetic

Mathematics Subject Classification ID

Recursive functions and relations, subrecursive hierarchies (03D20) General topics in the theory of software (68N01) Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 3938525
• scientific article; zbMATH DE number 4193096
• Programming as a mathematical exercise
• scientific article; zbMATH DE number 957903
• Programming Mathematics Using MATLAB®

Cited in

(8)

• Mathematics for reasoning about loop functions
• Object-oriented programming in mathematics
• In code. A mathematical journey.
• Metamathematical fundamental concepts of computer programming
• scientific article; zbMATH DE number 622677 (Why is no real title available?)
• Domain-specific languages of mathematics
• Intrinsic reasoning about functional programs. I: First order theories
• Innovations in computational type theory using Nuprl

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 Q3687706)