Informatics

$\lambda$-definability of built-in McCarthy functions as functions with indeterminate values of arguments

S. A. Nigiyan

Yerevan State University

Abstract: The built-in functions of programming languages are functions with indeterminate values of arguments. The built-in McCarthy functions $car, cdr, cons, null, atom, if, eq, not, and, or$, are used in all functional programming languages. In this paper we show the $\lambda$-definability of the built-in McCarthy functions as functions with indeterminate values of arguments. This result is necessary when translating typed functional programming languages into untyped functional programming languages.

Keywords: built-in McCarthy functions, indeterminate values of arguments, $\lambda$-definability.

MSC: 68N18

Received: 22.11.2018
Revised: 23.05.2019
Accepted: 20.09.2019

Language: English