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.
No institution available
Other
, 2025, Issue 1, pp. 1–10
ISSN Online: 0000-0000
DOI:
10.xxxx/example-doi