On minimality of one set of built-in functions for functional programming languages

MaRDI QIDQ2939046zbMATH OpenFDO

Authors G. A. Martirosyan

Publication date 16 January 2015

zbMATH Keywords

built-in functionfunctional programming languageminimalityTuring completeness

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 7178020
• scientific article; zbMATH DE number 3938596
• scientific article; zbMATH DE number 4016167
• The expressive power of higher-order types or, life without CONS
• scientific article; zbMATH DE number 2185706

This page was built for publication: On minimality of one set of built-in functions for functional programming languages

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