Type theory
- Broader concepts
- Mathematical logic
- Source notes
- Enciclopèdia.cat, consulta feta el 27 de març, 2008 (Teoria dels tipus)
- TESAMAT, consulta feta el 21 de juliol, 2006 (punt d'accés: Tipos, Teoría de)
- LCSH, consulta feta el 21 de juliol, 2006 (punt d'accés: Type theory)
- RAMEAU, consulta feta el 21 de juliol, 2006 (punt d'accés: Types, Théorie des)
- Thesaurus
- Subjects
- Microthesaurus
- Mathematics
- Philosophy
- Equivalent concepts in other schemes
- Type theory [LCSH]
- Types, Théorie des [RAMEAU]
- Permalink
- https://vocabularis.crai.ub.edu/thub/concept/thub:981058507462206706
- Format MARC21
-
- LEADER 01090nz a2200277n 4500 001 981058507462206706 005 20210802122755.0 008 060721|||anznnbabn |a ana d 040 $aES-BaUB$bcat$cES-BaUB$fthub 072 7$aTH 10$2thub 072 7$aTH 51$2thub 150 $aTeoria de tipus 450 $aTeoria dels tipus 550 $wg$aLògica matemàtica 670 $aEnciclopèdia.cat, consulta feta el 27 de març, 2008$b(Teoria dels tipus) 670 $aTESAMAT, consulta feta el 21 de juliol, 2006$b(punt d'accés: Tipos, Teoría de) 670 $aLCSH, consulta feta el 21 de juliol, 2006$b(punt d'accés: Type theory) 670 $aRAMEAU, consulta feta el 21 de juliol, 2006$b(punt d'accés: Types, Théorie des) 675 $aLEMAC;$aAutoridades BNE;$aAutoridades CSIC, cerca feta el 27 març 2008 750 7$aTeoría de tipos$2thub//spa 750 7$aType theory$2thub//eng 750 7$aThéorie des types$2thub//fre 996 $a.a12034113$b13-01-21$c04-06-08$d-$ed$f- 909 $a11$5ES-BaUB 990 $aTHUB Tema$5ES-BaUB 035 $a(ES-BaUB).a12034113
- Preferred term in other languages
- CatalàTeoria de tipus
- EspañolTeoría de tipos
- FrançaisThéorie des types