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

David Grigoryan

This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

This work is licensed under Creative Commons Attribution–NonCommercial International License (CC BY-NC 4.0).

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.

Author(s)

Table of Contents

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

Abstract

Author(s)

Table of Contents

Related Articles

ON UNIQUENESS OF HOLOMORPHIC AND BOUNDED OUTSIDE THE CLOSED LOGARITHMIC SECTOR FUNCTIONS REPRESENTABLE BY LACUNARY POWER SERIES

COMPUTER DETECTING AND PROCESSING OF THE SIGNALS OF A FLAT-COIL ABSOLUTE-POSITION SENSOR BASED SEISMIC DETECTOR

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

Abstract

Subscribe to TheGufo Newsletter​

Subscribe to TheGufo Newsletter