scientific article; zbMATH DE number 4094791

MaRDI QIDQ3821565zbMATH OpenFDO

Authors Corrado Böhm

Publication date 1988

zbMATH Keywords

*-algebrasalgebraic programmingChurch algebrascombinatorscombinatory algebrasdata structuresfunctional programmingiterative equationsrecursive functions

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 4066867
• scientific article; zbMATH DE number 63120
• scientific article; zbMATH DE number 1339950
• Some FP algebra with currying operation
• scientific article; zbMATH DE number 3960962

Cited in

(15)

• An algebraic view of the Böhm-out technique
• scientific article; zbMATH DE number 3846829 (Why is no real title available?)
• scientific article; zbMATH DE number 4066867 (Why is no real title available?)
• scientific article; zbMATH DE number 63120 (Why is no real title available?)
• scientific article; zbMATH DE number 4124984 (Why is no real title available?)
• scientific article; zbMATH DE number 1339950 (Why is no real title available?)
• scientific article; zbMATH DE number 482779 (Why is no real title available?)
• scientific article; zbMATH DE number 722586 (Why is no real title available?)
• Program algebras of recursive functions
• Algorithms for Functional Programming
• scientific article; zbMATH DE number 2172859 (Why is no real title available?)
• Note on Algol and conservatively extending functional programming
• scientific article; zbMATH DE number 1405588 (Why is no real title available?)
• Intersection and union types
• Some FP algebra with currying operation

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