Перевод «изоморфизм Карри-Говарда» на английский

Выберите исходный язык

Исходный текст

24 / 5000

Выберите язык перевода

Перевод

Ваш текст переведен частично.
Вы можете переводить не более 5000 символов за один раз.

Словарь: "изоморфизм Карри-Говарда" - переводы и примеры

изоморфизм Карри-Говарда м.р. существительное Склонение

мн. изоморфизмы карри-говарда

Curry-Howard isomorphism

Примеры предложений со словом "изоморфизм карри-говарда"

Эксклюзивный отрывок из нового романа Говарда Джейкобсона о любви и букве "J", вызвавшего похвалы критиков Exclusive extract from Howard Jacobson's acclaimed new novel about love and the letter 'J'

карри curry

Шварц цитирует председателя Oaktree Capital Management Говарда Маркса (Howard Marks): «Большинство великих инвестиций начинается с дискомфорта. Schwartz quotes Howard Marks, chairman of Oaktree Capital Management: “Most great investments begin in discomfort.

Ну да, типа в долбаном магазине продают заправленную карри горчицу моего кузена! Oh, yeah, I'll just go to the freaking store and get a new curry-infused mustard from my cousin!

Вспомним слабую реакцию администрации президента США Билла Клинтона на геноцид в Руанде в 1994 г. или скандальный отказ Австралии принять норвежский корабль "Тампа" с афганскими беженцами на борту, потерпевшими кораблекрушение, во время нахождения у власти правительства Джона Говарда десять лет назад. Think of the lamentable response by US President Bill Clinton's administration to the Rwandan genocide in 1994 or Australia's shameful rejection of asylum-seeking boat people in the Tampa affair under John Howard's government a decade ago.

Примеры употребления слов в разных контекстах предоставляются исключительно в лингвистических целях, т. е. для изучения употребления слов в одном языке и вариантов их перевода на другой. Все образцы собраны автоматически из открытых источников с помощью технологии поиска на основе двуязычных данных. Если вы обнаружили орфографическую, пунктуационную или иную ошибку в оригинале или переводе, используйте опцию "Сообщить о проблеме" или напишите нам