|
Proceedings of the Yerevan State University, series Physical and Mathematical Sciences, 2018, Volume 52, Issue 3, Pages 191–199
(Mi uzeru489)
|
|
|
|
Communications
Informatics
On main canonical notion of $\delta$-reduction
D. A. Grigoryan Yerevan State University, Faculty of Informatics and Applied Mathematics
Abstract:
In this paper the main canonical notion of $\delta$-reduction is considered. Typed $\lambda$-terms use variables of any order and constants of order $\leq1$, where 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. For main canonical notion of $\delta$-reduction the uniqueness of $\beta\delta$-normal form of typed $\lambda$-terms is shown.
Keywords:
main canonical notion,$\delta$-reduction, $\beta\delta$-reduction, normal form.
Received: 04.07.2018 Accepted: 26.11.2018
Citation:
D. A. Grigoryan, “On main canonical notion of $\delta$-reduction”, Proceedings of the YSU, Physical and Mathematical Sciences, 52:3 (2018), 191–199
Linking options:
https://www.mathnet.ru/eng/uzeru489 https://www.mathnet.ru/eng/uzeru/v52/i3/p191
|
Statistics & downloads: |
Abstract page: | 87 | Full-text PDF : | 16 | References: | 17 |
|