Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:02757705n
Noun Concept
Categories: Type theory, Foundations of mathematics, Homotopy theory, Formal methods
EN
homotopy type theory  Fibrations-as-types  Fibrations-as-Types interpretation  higher inductive type  Homotopic type theory
EN
In mathematical logic and computer science, homotopy type theory refers to various lines of development of intuitionistic type theory, based on the interpretation of types as objects to which the intuition of homotopy theory applies. Wikipedia
Definitions
Relations
Sources
EN
In mathematical logic and computer science, homotopy type theory refers to various lines of development of intuitionistic type theory, based on the interpretation of types as objects to which the intuition of homotopy theory applies. Wikipedia
Variant of type theory incorporating the univalence axiom of Voevodsky Wikidata
IS A
type theory
Wikipedia
EN
homotopy type theory
Wikidata
EN
homotopy type theory
Wikipedia Redirections
EN
Fibrations-as-types, Fibrations-as-Types, Fibrations-as-types interpretation, Fibrations-as-Types interpretation, higher inductive type, Homotopic type theory, Homotopical type theory, Homotopy Type Theory, HoTT, univalence axiom
Wikidata Alias
EN
HoTT

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