ՀՀ ԳԱԱ Զեկույցներ =Reports NAS RA

О представлении бестиповых λ-термов помеченными бинарными деревьями

Аветисян, С. А. (2004) О представлении бестиповых λ-термов помеченными бинарными деревьями. ՀՀ ԳԱԱ Զեկույցներ, 104 (2). pp. 95-101. ISSN 0321-1339

[img]PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
286Kb

Abstract

Նկարագրված է առանց տիպերի λ-տերմերի ներկայացման եղանակը նշած բինար ծառերի միջոցով: Այս ծառերի տերևները նշած են փոփոխականներով, իսկ ներքին գագաթները աբստրակցիայի և ապլիկացիայի գործողությունների սիմվոլներով: Առաջարկված են ծառերի ձևափոխության ալգորիթմներ, որոնք համապատասխանում են միաքայլ β-ռեդուկցիային և տեղադրմանը:

Item Type:Article
Additional Information: Առանց տիպերի λ-տերմերի ներկայացումը նշած բինար ծառերի օգնությամբ։ On representation of untyped λ-terms by means of labelled binary trees
Uncontrolled Keywords:Ավետիսյան Ս. Ա., Avetisyan S. A.
Subjects:Q Science > QA Mathematics
ID Code:883
Deposited By:NAS Reports
Deposited On:19 Aug 2011 09:35
Last Modified:13 Mar 2014 08:16

Repository Staff Only: item control page