scientific article; zbMATH DE number 4049001

MaRDI QIDQ3785897zbMATH OpenFDO

Authors F. Keith Hanna, N. Daeche

Publication date 1986

zbMATH Keywords

algebraic data typecomputational implementationformal specificationfunctional programming languagetheorem prover

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) General topics in the theory of software (68N01)

Recommendations

• Implementing theorem provers in a purely functional style
• A theorem prover for a computational logic
• Functional PearlDeduction for functional programmers
• A functional logic for higher level reasoning about computation
• scientific article; zbMATH DE number 4053062

Cited in

(2)

• Implementing theorem provers in a purely functional style
• Foundations of a theorem prover for functional and mathematical uses

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