type theory (Q7265167)

From MaRDI portal

!

This is the item page for this Wikibase entity, intended for internal use and editing purposes. Unfortunately, we do not yet have an article page for this item.

study of type systems in mathematical logic and computer science
  • theory of types
Language Label Description Also known as
default for all languages
No label defined
    English
    type theory
    study of type systems in mathematical logic and computer science
    • theory of types

    Statements

    facet of
    mathematics
    0 references
    logic
    0 references
    mathematical logic
    0 references
    subclass of
    formal system
    0 references
    is the study of
    data type
    0 references
    type system
    0 references
    has use
    proof assistant
    0 references
    strong typing
    0 references

    Identifiers

    Wikidata QID
    Q1056428
    0 references
    Freebase ID
    /m/0b15c
    1 reference
    stated in
    Freebase Data Dumps
    publication date
    28 October 2013
    Quora topic ID
    Type-Theory
    1 reference
    stated in
    Quora
    JSTOR topic ID
    type-theory
    0 references
    BabelNet ID
    03130588n
    1 reference
    stated in
    BabelNet
    Encyclopædia Britannica Online ID
    topic/theory-of-types-logic
    subject named as
    theory of types
    0 references
    topic/ramified-theory-of-types
    subject named as
    ramified theory of types
    0 references
    Microsoft Academic ID
    93682546
    0 references
    Treccani's Dizionario di Filosofia ID
    teoria-dei-tipi
    subject named as
    tipi, teoria dei
    publication date
    2009
    0 references
    KBpedia ID
    TypeTheory
    1 reference
    stated in
    KBpedia
    retrieved
    9 July 2020
    nLab ID
    type theory
    0 references
    Semantic Scholar topic ID
    42211
    0 references
    Encyclopædia Universalis ID
    theorie-des-types-chimie
    0 references
    Great Russian Encyclopedia Online ID
    4192585
    subject named as
    ТИПОВ ТЕОРИЯ
    0 references
    ScienceDirect topic ID
    mathematics/type-theory
    0 references
    Den Store Danske ID
    typeteori
    0 references
    Treccani's Enciclopedia della Matematica ID
    teoria-dei-tipi
    subject named as
    Tipi, teoria dei
    publication date
    2013
    0 references
    Open Library subject ID
    type_theory
    subject named as
    Type theory
    0 references
    GitLab topic ID
    type-theory
    0 references
    GND ID
    4121795-0
    subject named as
    Typentheorie
    0 references
    Library of Congress authority ID
    sh85139126
    subject named as
    Type theory
    0 references
    zbMATH concept ID
    theory of type
    0 references
     
      Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q7265167&oldid=104428537"
      Powered by MediaWiki