Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:03130588n
Noun Concept
Categories: Teoria dei tipi
IT
teoria dei tipi
IT
Dal punto di vista più generale, la teoria dei tipi è la branca della matematica e della logica che si occupa di classificare generiche entità, raggruppandole in collezioni chiamate tipi. Wikipedia
Definitions
Relations
Sources
IT
Dal punto di vista più generale, la teoria dei tipi è la branca della matematica e della logica che si occupa di classificare generiche entità, raggruppandole in collezioni chiamate tipi. Wikipedia
IS A
sistema formale
HAS PART
EN
container
HAS KIND
EN
homotopy type theory
teoria dei tipi intuizionista
tipo fondo
FACET OF
informatica
logica matematica
logica
matematica
Wikipedia
IT
teoria dei tipi
Wikidata
IT
teoria dei tipi
Wikipedia Translations
IT
teoria dei tipi

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