スマートフォン用の表示で見る

型理論

サイエンス

型理論

かたりろん

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