Geodesic
On canonical notion of $\delta$-reduction and on translation of typed $\lambda$-terms into untyped $\lambda$-terms
Proceedings of the Yerevan State University. Physical and mathematical sciences, Tome 51 (2017) no. 1, pp. 46-52.

Voir la notice de l'article provenant de la source Math-Net.Ru

In the paper typed and untyped $\lambda$-terms are considered. Typed $\lambda$-terms use variables of any order and constants of order $\leq1$. Constants of order $1$ are strong computable functions with indeterminate values of arguments and every function has an untyped $\lambda$-term that $\lambda$-defines it. The so-called canonical notion of $\delta$-reduction is introduced. This is the notion of $\delta$-reduction that is used in the implementation of functional programming languages. For the canonical notion of $\delta$-reduction the translation of typed $\lambda$-terms into untyped $\lambda$-terms is studied.
Keywords: typed $\lambda$-term, untyped $\lambda$-term, translation, notion of $\delta$-reduction, $\lambda$-definability. 
@article{UZERU_2017_51_1_a8,
     author = {S. A. Nigiyan and T. V. Khondkaryan},
     title = {On canonical notion of $\delta$-reduction and on translation of typed $\lambda$-terms into untyped $\lambda$-terms},
     journal = {Proceedings of the Yerevan State University. Physical and mathematical sciences},
     pages = {46--52},
     publisher = {mathdoc},
     volume = {51},
     number = {1},
     year = {2017},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/UZERU_2017_51_1_a8/}
}
TY  - JOUR
AU  - S. A. Nigiyan
AU  - T. V. Khondkaryan
TI  - On canonical notion of $\delta$-reduction and on translation of typed $\lambda$-terms into untyped $\lambda$-terms
JO  - Proceedings of the Yerevan State University. Physical and mathematical sciences
PY  - 2017
SP  - 46
EP  - 52
VL  - 51
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/UZERU_2017_51_1_a8/
LA  - en
ID  - UZERU_2017_51_1_a8
ER  - 
%0 Journal Article
%A S. A. Nigiyan
%A T. V. Khondkaryan
%T On canonical notion of $\delta$-reduction and on translation of typed $\lambda$-terms into untyped $\lambda$-terms
%J Proceedings of the Yerevan State University. Physical and mathematical sciences
%D 2017
%P 46-52
%V 51
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/UZERU_2017_51_1_a8/
%G en
%F UZERU_2017_51_1_a8
S. A. Nigiyan; T. V. Khondkaryan. On canonical notion of $\delta$-reduction and on translation of typed $\lambda$-terms into untyped $\lambda$-terms. Proceedings of the Yerevan State University. Physical and mathematical sciences, Tome 51 (2017) no. 1, pp. 46-52. http://geodesic.mathdoc.fr/item/UZERU_2017_51_1_a8/

[1] S. A. Nigiyan, “Functional Programming Languages”, Programming and Computer Software, 1991, no. 5, 77–86 | Zbl

[2] S. A. Nigiyan, “On non-classical theory of computability”, Proceedings of the YSU. Physical Mathematical Sciences, 2015, no. 1, 52–60 | Zbl

[3] T.V. Khondkaryan, “On Typed and Untyped Lambda-Terms”, Proceedings of the YSU. Physical Mathematical Sciences, 2015, no. 2, 45–52 | Zbl

[4] L. E. Budaghyan, “Formalizing the Notion of $\delta$-Reduction in Monotonic Models of Typed $\lambda$-Calculus”, Algebra, Geometry Their Applications, 1, YSU Press, Yer., 2002, 48–57 | MR

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