Vocabulary
型理論
かたりろん
type theory
noun