type theory

維基詞典,自由的多語言詞典


  • 正體: 型式理論;類型理論[電子計算機]