typentheorie

listen to the pronunciation of typentheorie
German - English
type theory