タイプリロン
Meanings
Noun
Logic
1. theory of types
Composed of
theory