English dictionary, thesaurus, translations & etymology

type theory in German

type theory in German is Typentheorie.

type theory in German

Typentheorie

noun

(mathematics, computer science) A branch of mathematical logic and theoretical computer science concerned with types.

Vocabulary Flow

Learn more English words in German.

Vocabulary Flow serves English words with the German meaning, one at a time — pronunciation and an example each time. Scroll it either direction.

Learn English in German

C2 · Advanced serendipity Fortunate discoveries made entirely by accident.

Gen Z slang rizz Charm — the ability to attract a romantic interest.

B2 · Intermediate empathy The capacity to share another person’s feelings.

C1 · Advanced nonchalant Casually calm and relaxed; unconcerned.

Internet slang delulu Delusional — believing something against the odds.

Etymology nostalgia Greek nostos “return home” + algos “pain”.

C2 · Advanced serendipity Fortunate discoveries made entirely by accident.

Gen Z slang rizz Charm — the ability to attract a romantic interest.

B2 · Intermediate empathy The capacity to share another person’s feelings.

C1 · Advanced nonchalant Casually calm and relaxed; unconcerned.

Internet slang delulu Delusional — believing something against the odds.

Etymology nostalgia Greek nostos “return home” + algos “pain”.

Common German translations

the of to AND A in I that for you IT on

Frequently asked questions

What is "type theory" in German?

"type theory" in German is Typentheorie.

Study it as flashcards or scroll it in Vocabulary Flow — saved to your collection.

Translations from WikDict, CC BY-SA · example sentences from Tatoeba, CC BY 2.0 FR.