Journal of Engineering and Applied Sciences

106
Views

0
Downloads

On Notion Of βδ-Reduction for Main Canonical Notion of δ-Reduction

D.A. Grigoryan
Page: 7853-7856 | Received 21 Sep 2022, Published online: 21 Sep 2022

By Research Area

Medicine & Public Health Life Sciences Engineering Mathematics Biomedicine Physics Chemistry Computer Science Earth Sciences Social Sciences Business and Management Psychology Materials Science Economics Education Environment Philosophy Statistics Law Political Science and International Relations Pharmacy Dentistry Energy Linguistics Geography Finance Criminology and Criminal Justice Medicine Cultural and Media Studies History Architecture / Design Literature Biomedical Sciences Religious Studies Education & Language Food Science & Nutrition Public Health

By Volume and Issue

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.

How to cite this article:

D.A. Grigoryan. On Notion Of βδ-Reduction for Main Canonical Notion of δ-Reduction.
DOI: https://doi.org/10.36478/jeasci.2019.7853.7856
URL: https://www.makhillpublications.co/view-article/1816-949x/jeasci.2019.7853.7856