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

Davit A. Grigoryan

Download

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

Volume:

ISSN:

0131-4645

Additional Information:

click here to follow the link

Other title:

Կանոնիկ δ-ռեդուկցիայի գաղափարի դեպքում βδ-ռեդուկցիայի գաղափարի Չորչ-Ռոսսերի հատկության մասին; О свойстве Черча-Россера понятия βδ-редукции в случае каноническом понятии δ-редукции

Coverage:

81-87

Abstract:

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

Publisher:

Изд-во НАН РА

Date created:

2018-12-10

Format:

pdf

Identifier:

oai:arar.sci.am:258942

Location of original object:

ՀՀ ԳԱԱ Հիմնարար գիտական գրադարան

Subject and keywords:

Mathematics Science Algebra Գրիգորյան Դ. Григорян Д. canonical notion of δ-reduction Church-Rosser property βδ-reduction

Object collections:

Digital Library > Articles

Last modified:

Dec 8, 2023

In our library since:

Jul 24, 2020

Number of object content hits:

All available object's versions:

https://arar.sci.am/publication/282079

Show description in RDF format:

RDF

Show description in OAI-PMH format:

OAI-PMH

ՀՀ ԳԱԱ Շարունակական հրատարակություններ

Edition name	Date
On Church-Rosser Property of Notion of βδ-Reduction for Canonical Notion of δ-Reduction	Dec 8, 2023

Object

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

Creator:

Type:

Journal or Publication Title:

Date of publication: