2019; Physical and Mathematical Sciences, 53(1 (248): 37–46
Shared with The Gufo

ON THE UNIQUENESS OF β δ-NORMAL FORM OF TYPEDλ-TERMSFOR THE CANONICAL NOTION OF δ-REDUCTION

David Grigoryan*

Received: 2025-01-30 · Published: 2019-04-15

© 2019 The Author(s) and the original publisher.

CC BY-NC 4.0 This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License.
Shared article.
Original title
ON THE UNIQUENESS OF β δ-NORMAL FORM OF TYPEDλ-TERMSFOR THE CANONICAL NOTION OF δ-REDUCTION
Author
David Grigoryan
Published
2019-04-15
Licence
Creative Commons Attribution-NonCommercial 4.0 International
Original
https://doi.org/10.46991/PYSU:A/2019.53.1.037

Abstract

In this paper we consider a substitution and inheritance property, which isthe necessary and sufficient condition for the uniqueness of β δ-normal formof typed λ-terms, for canonical notion of δ-reduction. Typed λ-terms usevariables of any order and constants of order ≤1, where the constants of order1 are strongly computable, monotonic functions with indeterminate values ofarguments. The canonical notion ofδ-reduction is the notion ofδ-reductionthat is used in the implementation of functional programming languages.
1 / ? 100% Open in new tab Download Cite

Loading the full text…

Download Follow Updates