Лямбда-ларар

Ля́мбда-лара (λ-ларар) — америкин математико Чёрч Алонзос, ларадаларан кхетамна формализаци а, анализ а ярхьама, кхоьллина формалан система.

 ЦӀена λ-ларар 
ЦӀена λ-ларар, термаш, цунах кхин а олу объекташ («обаш»), я λ-термаш, хиттийна еккъа хийцалуш йолчу аппликаци а, абстракци а лелош. Юьхьанца цхьан констант а хилар дуьцуш а дац.

 Аппликаци а, абстракци а 
λ-лараран бухе йиллина шиъ фундаментан операци:

 Аппликаци ( — тӀедилла, тӀехоттар) деллачу терхьийна хьалха функци лелор я кхайкхар бохург ду. Иза билгалдоккху ,  — функци ю, ткъа  — аргумент ю. Иза догӀу массара а математикехь тӀеэцнадолчу яздарца , иза а наггахь лелош ду, амма λ-ларарна коьрта ду,  алгоритм маьӀнехь ларар, лоруш долу жамӀ деллачу чудогӀучу терахьца. Оцу маьӀнехь аппликаци  тӀиера  тӀе ган тарло шалха: цхьаъ — жамӀ лелор  тӀиера  тӀе, шиъ —  лараран процесс санна. ТӀаьххьара аппликацин интерпретаци йоьзна ю β-редукци кхетамах.

 Абстракцино я λ-абстракцино ( — тергояйар, дӀакъастар) шен агӀора функцеш хиттайо деллачу терхьашца. Мадарра, нагахь  — терахь делахь, паргӀата  юкъахь долуш, тӀаккха  яздаран маьӀна ду:  функци  аргументах, цуьнан ю  кеп, цуо гойту  функци. Иштта, абстракцин гӀоьнца мега керла функцеш кхолла. Оьшург,  паргӀата юкъадахар , доккха хьесап долуш дац — тоьуш ду дагахь хилар, , нагахь иза иштта дацахь.