theory of types - Turkish English Dictionary