scientific article; zbMATH DE number 3960962

MaRDI QIDQ3729992zbMATH OpenFDO

Authors Corrado Böhm

Publication date 1986

zbMATH Keywords

functional programminginitial algebrashomogeneous algebrasheterogeneous algebrasterm algebrasiterative functionsalgebraic data typesalgebraic data systemsHeterogeneous absolutely free algebrasprimitive recursive schemereducing recursion to iterationsecond order typed lambda-calculussubrecursive function theory

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Data structures (68P05)

Recommendations

• scientific article; zbMATH DE number 4052989
• scientific article; zbMATH DE number 14698
• Primitive recursion in the abstract
• Publication:3204453
• ITERATION ALGEBRAS

Cited in

(11)

• scientific article; zbMATH DE number 4094791 (Why is no real title available?)
• scientific article; zbMATH DE number 14698 (Why is no real title available?)
• On the naturality of the iteration and recursive specifications
• On list primitive recursion and the complexity of computing inf
• Primitive recursion in the abstract
• scientific article; zbMATH DE number 4052989 (Why is no real title available?)
• scientific article; zbMATH DE number 4181319 (Why is no real title available?)
• A proof-theoretic account of primitive recursion and primitive iteration
• Negative Results on the Reduction of the Recursion Scheme
• A new approach to recursion removal
• scientific article; zbMATH DE number 3849216 (Why is no real title available?)

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