typentheorie

listen to the pronunciation of typentheorie
Almanca - İngilizce
type theory