$\lambda$-definability of built-in McCarthy functions as functions with indeterminate values of arguments
Proceedings of the Yerevan State University. Physical and mathematical sciences, Tome 53 (2019) no. 3, pp. 191-202
Voir la notice de l'article provenant de la source Math-Net.Ru
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.
@article{UZERU_2019_53_3_a7,
author = {S. A. Nigiyan},
title = {$\lambda$-definability of built-in {McCarthy} functions as functions with indeterminate values of arguments},
journal = {Proceedings of the Yerevan State University. Physical and mathematical sciences},
pages = {191--202},
publisher = {mathdoc},
volume = {53},
number = {3},
year = {2019},
language = {en},
url = {http://geodesic.mathdoc.fr/item/UZERU_2019_53_3_a7/}
}
TY - JOUR AU - S. A. Nigiyan TI - $\lambda$-definability of built-in McCarthy functions as functions with indeterminate values of arguments JO - Proceedings of the Yerevan State University. Physical and mathematical sciences PY - 2019 SP - 191 EP - 202 VL - 53 IS - 3 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/UZERU_2019_53_3_a7/ LA - en ID - UZERU_2019_53_3_a7 ER -
%0 Journal Article %A S. A. Nigiyan %T $\lambda$-definability of built-in McCarthy functions as functions with indeterminate values of arguments %J Proceedings of the Yerevan State University. Physical and mathematical sciences %D 2019 %P 191-202 %V 53 %N 3 %I mathdoc %U http://geodesic.mathdoc.fr/item/UZERU_2019_53_3_a7/ %G en %F UZERU_2019_53_3_a7
S. A. Nigiyan. $\lambda$-definability of built-in McCarthy functions as functions with indeterminate values of arguments. Proceedings of the Yerevan State University. Physical and mathematical sciences, Tome 53 (2019) no. 3, pp. 191-202. http://geodesic.mathdoc.fr/item/UZERU_2019_53_3_a7/