generated at
dependent type
依存型
Typed lambda calculus
Intuitionistic type theory

googledependent type
Google画像検索dependent type
Google定義検索 dependent type
wikipediadependent type
weblio dependent type
kotobank dependent type
jisho dependent type