ՄԱԹԵՄԱՏԻԿԱ (232)

(English) A Necessary and Sufficient Condition for the Uniqueness of βδ-Normal Form of Typed λ-Terms for the Canonical Notion of δ-ReductionL. Budaghyan, D. Grigoryan, L. Torosyan – A Necessary and Sufficient Condition for the Uniqueness of βδ-Normal Form of Typed λ-Terms for the Canonical Notion of δ-Reduction

Գիտական հրատարակություն ԵՊՀ գիտական տեղեկագիր, Ֆիզիկա և Մաթեմատիկա, 2019, 53 (1)
Հրատարակչություն ԵՊՀ
Վայր Երևան
Տարեթիվ 2019
Էջեր 26-36