@article{MAKHILLJEAS2019142118602,
    title = {On Notion Of βδ-Reduction for Main Canonical Notion of δ-Reduction},
    journal = {Journal of Engineering and Applied Sciences},
    volume = {14},
    number = {21},
    pages = {7853-7856},
    year = {2019},
    issn = {1816-949x},
    doi = {jeasci.2019.7853.7856},
    url = {https://makhillpublications.co/view-article.php?issn=1816-949x&doi=jeasci.2019.7853.7856},
    author = {D.A.},
    keywords = {δ-reduction,main canonical notion,Typed λ-terms,canonical notion,monotonic functions,uniqueness of βδ-normal form},
    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.}
    }