@misc{С._А._Аветисян_О,
 author={С. А. Аветисян},
 address={Երևան},
 howpublished={online},
 publisher={ՀՀ ԳԱԱ հրատ.},
 abstract={Նկարագրված է առանց տիպերի λ-տերմերի ներկայացման եղանակը նշած բինար ծառերի միջոցով: Այս ծառերի տերևները նշած են փոփոխականներով, իսկ ներքին գագաթները աբստրակցիայի և ապլիկացիայի գործողությունների սիմվոլներով: Առաջարկված են ծառերի ձևափոխության ալգորիթմներ, որոնք համապատասխանում են միաքայլ β-ռեդուկցիային և տեղադրմանը:},
 title={О представлении бестиповых λ-термов помеченными бинарными деревьями},
 type={Հոդված},
 keywords={Mathematics, Science},
}