Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:02807993n
Noun Concept
Categories: Dependently typed programming, Foundations of mathematics, Intuitionism, Type theory, Logic in computer science
EN
intuitionistic type theory  Intuitionistic theory of types  Martin-Loef type theory  Martin-Lof type theory  constructive type theory
EN
Intuitionistic type theory is a type theory and an alternative foundation of mathematics based on the principles of mathematical constructivism. Wikipedia
Definitions
Relations
Sources
EN
Intuitionistic type theory is a type theory and an alternative foundation of mathematics based on the principles of mathematical constructivism. Wikipedia
Other name of Martin-Löf Type Theory Wikipedia Disambiguation
alternative foundation of mathematics Wikidata
IS A
type theory
USES
intuitionistic logic
Wikipedia
EN
intuitionistic type theory
Wikidata
EN
intuitionistic type theory
Wikipedia Redirections
EN
constructive type theory, Constructivist type theory, extensional type theory, Inductive family, intensional type theory, Intuitionistic theory of types, Intuitionistic Theory of Types, Intuitionistic Type Theory, Martin-Loef's type theory, Martin-Loef Type Theory, Martin-Loef type theory, Martin-Lof's type theory, Martin-Lof type theory, Martin-Lof Type Theory, Martin-Löf's type theory, Martin-Löf type theory, Martin–Löf type theory, MLTT

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