scientific article; zbMATH DE number 3092135

MaRDI QIDQ5830893zbMATH OpenFDO

Authors Haskell B. Curry

Publication date 1954

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Cited in

(8)

• A bridge between constructive logic and computer programming
• A survey of deduction theorems for the propositional calculi
• Composition structure of programmology
• Program composition via unification
• Compositional programming: theory and practice
• Composition-nominative aspects of address programming
• scientific article; zbMATH DE number 5856093 (Why is no real title available?)
• Composing programs in a rewriting logic for declarative programming

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