2012; Physical and Mathematical Sciences, 46(2 (228): 42–49
Shared with The Gufo

ON MINIMALITY OF ONE SET OF BUILT-IN FUNCTIONS FOR FUNCTIONAL PROGRAMMING LANGUAGES

Gevorg Martirosyan*

Received: 2025-02-19 · Published: 2012-05-10

© 2012 The Author(s) and the original publisher.

CC BY 4.0 This work is licensed under a Creative Commons Attribution 4.0 International License.
Shared article.
Original title
ON MINIMALITY OF ONE SET OF BUILT-IN FUNCTIONS FOR FUNCTIONAL PROGRAMMING LANGUAGES
Author
Gevorg Martirosyan
Published
2012-05-10
Licence
Creative Commons Attribution 4.0 International

Abstract

The functional programming language, which uses the set {car, cdr, cons, atom, eq, if_then_else} of built-in functions is Turing complete (see [1]). In the present paper the minimality of this set of functions is proved.
1 / ? 100% Open in new tab Download Cite

Loading the full text…

Download Follow Updates