On the uniqueness of $\beta\delta$-normal form of typed $\lambda$-terms for the canonical notion of $\delta$-reduction
Proceedings of the Yerevan State University. Physical and mathematical sciences, Tome 53 (2019) no. 1, pp. 37-46
Voir la notice de l'article provenant de la source Math-Net.Ru
In this paper we consider a substitution and inheritance property, which is the necessary and sufficient condition for the uniqueness of $\beta\delta$-normal form of typed $\lambda$-terms, for canonical notion of $\delta$-reduction. Typed $\lambda$-terms use variables of any order and constants of order $\leq1$, where the constants of order $1$ are strongly computable, monotonic functions with indeterminate values of arguments. The canonical notion of $\delta$-reduction is the notion of $\delta$-reduction that is used in the implementation of functional programming languages.
Keywords:
Canonical notion of $\delta$-reduction, SI-property, $\beta\delta$-normal form.
@article{UZERU_2019_53_1_a5,
author = {D. A. Grigoryan},
title = {On the uniqueness of $\beta\delta$-normal form of typed $\lambda$-terms for the canonical notion of $\delta$-reduction},
journal = {Proceedings of the Yerevan State University. Physical and mathematical sciences},
pages = {37--46},
publisher = {mathdoc},
volume = {53},
number = {1},
year = {2019},
language = {en},
url = {http://geodesic.mathdoc.fr/item/UZERU_2019_53_1_a5/}
}
TY - JOUR AU - D. A. Grigoryan TI - On the uniqueness of $\beta\delta$-normal form of typed $\lambda$-terms for the canonical notion of $\delta$-reduction JO - Proceedings of the Yerevan State University. Physical and mathematical sciences PY - 2019 SP - 37 EP - 46 VL - 53 IS - 1 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/UZERU_2019_53_1_a5/ LA - en ID - UZERU_2019_53_1_a5 ER -
%0 Journal Article %A D. A. Grigoryan %T On the uniqueness of $\beta\delta$-normal form of typed $\lambda$-terms for the canonical notion of $\delta$-reduction %J Proceedings of the Yerevan State University. Physical and mathematical sciences %D 2019 %P 37-46 %V 53 %N 1 %I mathdoc %U http://geodesic.mathdoc.fr/item/UZERU_2019_53_1_a5/ %G en %F UZERU_2019_53_1_a5
D. A. Grigoryan. On the uniqueness of $\beta\delta$-normal form of typed $\lambda$-terms for the canonical notion of $\delta$-reduction. Proceedings of the Yerevan State University. Physical and mathematical sciences, Tome 53 (2019) no. 1, pp. 37-46. http://geodesic.mathdoc.fr/item/UZERU_2019_53_1_a5/