Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:03130588n
Noun Concept
Categories: Type theory, Articles with short description, Systems of formal logic, Hierarchy
EN
type theory  type  Applications of type theory  Elementary Theory of the Category of Sets  equality type
EN
In mathematics, logic, and computer science, a type theory is the formal presentation of a specific type system, and type theory in general is the academic study of type systems. Wikipedia
Definitions
Relations
Sources
EN
In mathematics, logic, and computer science, a type theory is the formal presentation of a specific type system, and type theory in general is the academic study of type systems. Wikipedia
Basis for the study of type systems Wikipedia Disambiguation
IS A
formal system
HAS PART
container
HAS KIND
homotopy type theory
intuitionistic type theory
bottom type
FACET OF
computer science
symbolic logic
logic
mathematics
Wikipedia
EN
type theory
Wikidata
EN
type theory
Wikipedia Redirections
EN
Applications of type theory, Elementary Theory of the Category of Sets, equality type, List of type theories, logical type, Natural language semantics and type theory, propositional equality, system of types, Theory of Logical Types, theory of types, type-theoretic, type (logic), Type Theory, typed logic, Universe type, Universe types

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