theory of types - French English Dictionary