scientific article; zbMATH DE number 3960962

zbMATH Open0596.68010MaRDI QIDQ3729992FDOQ3729992

Authors: Corrado Böhm 

Publication date: 1986

Title of this publication is not available (Why is that?)

Recommendations

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

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)

Cited In (11)

• Title not available (Why is that?)
• Primitive recursion in the abstract
• On the naturality of the iteration and recursive specifications
• On list primitive recursion and the complexity of computing inf
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)

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)