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/

[1] P. Henderson, Functional Programming. Application and Implementation, Prentice-Hall International Inc., London, 1983

[2] H. Barendregt, The Lambda Calculus. Its Syntax and Semantics, North-Holland Publishing Company, 1981 | MR | Zbl

[3] S. A. Nigiyan, “On Non-classical Theory of Computability”, Proceedings of the YSU. Physical and Mathematical Sciences, 2015, no. 1, 52–60 | Zbl

[4] S. A. Nigiyan, T. V. Khondkaryan, “On Translation of Typed Functional Programs into Untyped Functional Programs”, Proceedings of the YSU. Physical and Mathematical Sciences, 51:2 (2017), 177–186 | Zbl