TY  - JOUR
T1  - On Notion Of βδ-Reduction for Main Canonical Notion of δ-Reduction
AU - Grigoryan, D.A. 
JO  - Journal of Engineering and Applied Sciences
VL  - 14
IS  - 21
SP  - 7853
EP  - 7856
PY  - 2019
DA  - 2001/08/19
SN  - 1816-949x
DO  - jeasci.2019.7853.7856
UR  - https://makhillpublications.co/view-article.php?doi=jeasci.2019.7853.7856
KW  - δ-reduction
KW  -main canonical notion
KW  -Typed λ-terms
KW  -canonical notion
KW  -monotonic functions
KW  -uniqueness of βδ-normal form
AB  - In this study, the notion of βδ-reduction for main canonical notion of δ-reduction is considered.
Typed λ-terms use variables of any order and constants of order 	≤1 where constants of order 1 are strongly
computable, monotonic functions with indeterminate values of arguments. The canonical notion of δ-reduction
is the notion of δ-reduction that is used in the implementation of functional programming languages. For main
canonical notion of δ-reduction the uniqueness of βδ-normal form of typed λ-terms is shown.
ER  -