Translation of "typed lambda calculus" to Russian

Select source language

Source text

21 / 5000

Select target language

Translation results

Your text has been partially translated.
You can translate a maximum of 5000 characters at a time.

Advert

Dictionary translations for "typed lambda calculus"

typed lambda calculus noun

pl. typed lambda calculi

типизированное лямбда-исчисление ср.р.

Contexts with "typed lambda calculus"

For example, a student could rent "Calculus" for the length of the semester for about $20. Например, один студент смог взять напрокат "Математический анализ" на семестр примерно за $20.

The neutrino, the positive pion, the negative pion, the kaon, the lambda, the delta. Нейтрино, положительный пион, отрицательный пион, каон, лямбда, дельта.

These letters can be typed by any secretary. Эти письма может напечатать любой секретарь.

"My calculus book that usually costs $180, I got for the semester for $10 and a Chick-fil-A biscuit," says Schroeder, 19, who attends Covenant College in Georgia. "Мой учебник по математическому анализу, который обычно стоит $180, я получил на семестр за $10 и печенье "Chick-fil-A"", говорит Шрёдер, 19 лет, который учится в Ковенант Колледже в Джорджии.

Annie, with the lighting of this candle, I welcome you into Kappa Lambda Eta. Энни, с горением этой свечи, я приветствую тебя в Каппе Ламбда Эта.

Examples of word usage in different contexts are provided solely for linguistic purposes, i.e. to study word usage in a sentence in one language and how they can be translated into another. All samples are automatically collected from a variety of publicly available open sources using bilingual search technologies.
If you find a spelling, punctuation or any other error in the original or translation, use the "Report a problem" option or write to us.