タイプ理論

タイプりろん

Meanings

1. Noun theory of types

Kanji

• 理 reason
• 論 argument. Read as ロン.

Words containing タイプ理論

• データタイプ理論 (データタイプりろん) data type theory

Word lists

• Logic

Jinuma: Japanese Dictionary · Word lists