typentheorie

listen to the pronunciation of typentheorie
Deutsch - Englisch
type theory