The built-in functions of programming languages are functions with in-determinate values of arguments. The built-in McCarthy functionscar, cdr,cons, null, atom, if, eq, not, and, or, are used in all functional programminglanguages. In this paper we show theλ-definability of the built-in McCarthyfunctions as functions with indeterminate values of arguments. This result isnecessary when translating typed functional programming languages intountyped functional programming languages.
No institution available
Mathematics
, 2025, Issue 1, pp. 1–10
ISSN Online: 0000-0000
DOI:
10.xxxx/example-doi