Journal of Engineering and Applied Sciences
Year:
2019
Volume:
14
Issue:
21
Page No.
7853 - 7856
On Notion Of βδ-Reduction for Main Canonical Notion of δ-Reduction
Authors :
D.A.Grigoryan
References
Budaghyan, L.E., 2002. Formalizing the notion of δ-reduction in monotonic models of typed λ-calculus. Algebra, Geom. Appl., 1: 48-57.
Nigiyan, S.A. and T.V. Khondkaryan, 2017. On canonical notion of δ-reduction and on translation of typed λ-terms into untyped λ-terms. Proc. Yerevan State Univ. Phys. Math. Sci., 51: 46-52.
Direct Link | Nigiyan, S.A., 1992. Functional languages. Program. Comput. Software, 17: 77-86.
Direct Link | Nigiyan, S.A., 2015. On non-classical theory of computability. Proc. Yerevan State Univ. Phys. Math. Sci., 1: 52-60.
Direct Link |