Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:02807993n
Noun Concept
Categories: 数学に関する記事, 計算機科学における論理, 直観主義, 数学基礎論, 型理論
JA
直観主義型理論  Martin-Löfの型理論  マルティン＝レーフの型理論  構成的型理論  直感的型理論
JA
直観主義型理論（ちょっかんしゅぎかたりろん、英: intuitionistic type theory）とは、数学の代替基盤を目指して論理学・哲学者のペール・マルティン＝レーフによって開発された型理論を言う。 Wikipedia
Definitions
Relations
Sources
JA
直観主義型理論（ちょっかんしゅぎかたりろん、英: intuitionistic type theory）とは、数学の代替基盤を目指して論理学・哲学者のペール・マルティン＝レーフによって開発された型理論を言う。 Wikipedia
IS A
型理論
USES
直観主義論理
Wikipedia
JA
直観主義型理論
Wikidata
JA
直観主義型理論
Wikipedia Redirections
JA
Martin-Löfの型理論, マルティン＝レーフの型理論, 構成的型理論
Wikidata Alias
JA
直感的型理論, 直観主義的型理論
Wikipedia Translations
JA
マーティンlof型理論

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