λ-DEFINABILITY OF BUILT-IN McCARTHY FUNCTIONS ASFUNCTIONS WITH INDETERMINATE VALUES OF ARGUMENTS

Author(s)

λ-DEFINABILITY OF BUILT-IN McCARTHY FUNCTIONS ASFUNCTIONS WITH INDETERMINATE VALUES OF ARGUMENTS Nigiyan Nigiyan

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.

DOI: 10.46991/PYSU:A/2019.53.3.191 Physical and Mathematical Sciences, 53(3 (250) 191-202

Download PDF

Keywords

built-in McCarthy functions, indeterminate values of arguments, λ-definability.

Check for updates

Share

Contact admin with any questions, comments or concerns

[email protected]