型理論 かたりろん Meanings Noun type theory Kanji 型 type. Read as かた. 理 reason 論 argument. Read as ロン. Word lists Computing Mathematics Jinuma: Japanese Dictionary · Word lists