Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:03130588n
Noun Concept
Categories: Lógica matemática
PT
teoria dos tipos
PT
Teoria dos tipos é o ramo da matemática e da lógica que se preocupa com a classificação de entidades em conjuntos chamados tipos. Wikipedia
Definitions
Relations
Sources
PT
Teoria dos tipos é o ramo da matemática e da lógica que se preocupa com a classificação de entidades em conjuntos chamados tipos. Wikipedia
IS A
sistema formal
HAS PART
EN
container
HAS KIND
EN
homotopy type theory
teoria dos tipos intuicionista
EN
bottom type
FACET OF
informática
lógica matemática
lógica
matemática
Wikipedia
PT
teoria dos tipos
Wikidata
PT
teoria dos tipos
Wikipedia Redirections
PT
Teoria dos Tipos

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