Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:03130588n
Noun Concept
Categories: 型理論, 数学に関する記事, 数理論理学
JA
型理論  タイプ理論  階型理論
JA
型理論（かたりろん、英: Type theory）とは、プログラミング・数学・言語学等に現れる型の概念及びそれらが成す型システムを研究対象とする数学・計算機科学の分野である。 Wikipedia
Definitions
Relations
Sources
JA
型理論（かたりろん、英: Type theory）とは、プログラミング・数学・言語学等に現れる型の概念及びそれらが成す型システムを研究対象とする数学・計算機科学の分野である。 Wikipedia
IS A
形式体系
HAS PART
EN
container
HAS KIND
EN
homotopy type theory
直観主義型理論
ボトム型
FACET OF
計算機科学
数理論理学
論理学
数学
Wikipedia
JA
型理論
Wikidata
JA
型理論
Wikipedia Redirections
JA
タイプ理論, 階型理論
Wikidata Alias
JA
タイプ理論, 階型理論

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License