(Q7451631)
Statements
Type theory
0 references
Sitelinks
Wikipedia(26 entries)
- arwiki تصنيف:نظرية النمط
- bswiki Kategorija:Teorija vrste
- cswiki Kategorie:Teorie typů
- dewiki Kategorie:Typentheorie
- elwiki Κατηγορία:Θεωρία τύπων
- enwiki Category:Type theory
- eowiki Kategorio:Teorio de tipoj
- eswiki Categoría:Teoría de tipos
- fawiki رده:نظریه نوعها
- frwiki Catégorie:Théorie des types
- idwiki Kategori:Teori tipe
- itwiki Categoria:Teoria dei tipi
- jawiki Category:型理論
- kowiki 분류:유형 이론
- mkwiki Категорија:Теорија на типовите
- mswiki Kategori:Teori jenis
- nowiki Kategori:Typeteori
- ptwiki Categoria:Teoria dos tipos
- ruwiki Категория:Теория типов
- thwiki หมวดหมู่:ทฤษฎีแบบชนิด
- trwiki Kategori:Tip teorisi
- ukwiki Категорія:Теорія типів
- urwiki زمرہ:نظریہ ٹائپ
- viwiki Thể loại:Lý thuyết kiểu
- zh_min_nanwiki Lūi-pia̍t:Hêng-pia̍t lí-lūn
- zhwiki Category:类型论
Wikibooks(0 entries)
Wikinews(0 entries)
Wikiquote(0 entries)
Wikisource(0 entries)
Wikiversity(0 entries)
Wikivoyage(0 entries)
Wiktionary(0 entries)
Multilingual sites(1 entry)
- commonswiki Category:Type theory