Geodesic
$\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/