НАН РА. Математические вопросы кибернетики и вычислительной техники=Mathematical problems of computer science

On Church-Rosser Property of Notion of βδ-Reduction for Canonical Notion of δ-Reduction

Grigoryan, Davit A. (2018) On Church-Rosser Property of Notion of βδ-Reduction for Canonical Notion of δ-Reduction. Математические вопросы кибернетики и вычислительной техники (50). pp. 81-87. ISSN 0131-4645

[img] PDF
Download (319Kb)

    Abstract

    Աշխատանքում դիտարկվում է կանոնիկ δ-ռեդուկցիայի գաղափարը տիպիզացված Դ-թերմերի համար: В данной работе рассматривается основное каноническое понятие δ-редукции для типизированных ٨-термов.

    Item Type: Article
    Additional Information: Կանոնիկ δ-ռեդուկցիայի գաղափարի դեպքում βδ-ռեդուկցիայի գաղափարի Չորչ-Ռոսսերի հատկության մասին; О свойстве Черча-Россера понятия βδ-редукции в случае каноническом понятии δ-редукции
    Uncontrolled Keywords: Գրիգորյան Դ., Григорян Д., canonical notion of δ-reduction, Church-Rosser property, βδ-reduction
    Subjects: Q Science > QA Mathematics > Algebra
    Divisions: UNSPECIFIED
    Depositing User: FSL Bibl. Dept.
    Date Deposited: 25 Sep 2019 10:49
    Last Modified: 25 Sep 2019 10:49
    URI: http://compsci.asj-oa.am/id/eprint/921

    Actions (login required)

    View Item