On the expressive power of the loop language

MaRDI QIDQ3431405zbMATH OpenFDO

Authors T. Crolard, Samuel Lacas, Pierre Valarcher

Publication date 10 April 2007

Mathematics Subject Classification ID

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

Recommendations

• Extending the loop language with higher-order procedural variables
• scientific article; zbMATH DE number 177780
• On abstraction and the expressive power of programming languages
• On the expressive power of programming languages
• A-translation and looping combinators in pure type systems

Cited in

(7)

• On the expressive power of programming languages
• The fixed point problem of a simple reversible language
• The expressiveness of looping terms in the semantic programming
• The efficiency of primitive recursive functions: a programmer's view
• Extending the loop language with higher-order procedural variables
• A complete characterization of primitive recursive intensional behaviours
• scientific article; zbMATH DE number 1531380 (Why is no real title available?)

This page was built for publication: On the expressive power of the loop language

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