Vocabulary

データタイプ理論

data type theory

noun