A total functional programming language computing APRA

MaRDI QIDQ3172127zbMATH OpenFDO

Authors David Michel, Pierre Valarcher

Publication date 5 October 2011

zbMATH Keywords

primitive recursive algorithms

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18)

Recommendations

• A representation theorem for primitive recursive algorithms
• About primitive recursive algorithms
• scientific article; zbMATH DE number 3914308
• scientific article; zbMATH DE number 3858395
• scientific article; zbMATH DE number 873331

Cited in

(1)

• ASP with non-herbrand partial functions: a language and system for practical use

This page was built for publication: A total functional programming language computing APRA

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3172127)