Übersetzung von "изоморфизм Карри-Говарда" ins Englische

Ausgangssprache auswählen

Ausgangstext

24 / 5000

Zielsprache auswählen

Übersetzung

Ihr Text wurde teilweise übersetzt.
Sie können maximal 5000 Zeichen gleichzeitig übersetzen.

Wörterbuch für "изоморфизм Карри-Говарда"

изоморфизм Карри-Говарда m substantiv Deklination

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

Curry-Howard isomorphism

Kontexte mit "изоморфизм карри-говарда"

Эксклюзивный отрывок из нового романа Говарда Джейкобсона о любви и букве "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.

Beispiele für den Wortgebrauch in verschiedenen Kontexten werden ausschließlich zu linguistischen Zwecken bereitgestellt, d. h. um den Wortgebrauch in einer Sprache und Varianten ihrer Übersetzung in eine andere zu untersuchen. Alle Beispiele werden automatisch aus offenen Quellen mit Hilfe einer zweisprachigen Suchtechnologie gesammelt. Wenn Sie einen Rechtschreib-, Zeichensetzungs- oder anderen Fehler im Original oder in der Übersetzung finden, nutzen Sie die Option „Problem melden“ oder schreiben Sie uns.