型理論

型理論

(サイエンス)
かたりろん

Type theory. Theory of types. 項に型とよばれる属性が付随した述語論理の体系、及びそれらを研究する記号論理学の一分野。

ネットの話題: 型理論

人気

新着

新着ブログ: 型理論