D.A.  Grigoryan, 
    On Notion Of βδ-Reduction for Main Canonical Notion of δ-Reduction,
    Journal of Engineering and Applied Sciences,
    Volume 14,Issue 21,
    2019,
    Pages 7853-7856,
    ISSN 1816-949x,
    jeasci.2019.7853.7856,
    (https://makhillpublications.co/view-article.php?doi=jeasci.2019.7853.7856)
    Abstract: 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.
    Keywords: δ-reduction;main canonical notion;Typed λ-terms;canonical notion;monotonic functions;uniqueness of βδ-normal form