Category:Type theory

From Wikimedia Commons, the free media repository
Jump to navigation Jump to search
type theory 
Wikipedia-logo-v2.svg  Wikipedia
Instance of area of mathematics,
formal system
Facet of mathematics,
logic,
computer science,
mathematical logic
Authority control
Wikidata
Blue pencil.svg
Teoria dei tipi (it); Théorie des types (fr); теория типов (ru); Typentheorie (de); teoria dos tipos (pt); نظریه نوع‌ها (fa); 类型论 (zh); Θεωρία τύπων (el); 型理論 (ja); 类型论 (zh-hans); teorio de tipoj (eo); type theory (en); תורת הטיפוסים (he); typeteori (nb); Typentheorie (nl); 類型論 (zh-hant); 類型論 (zh-hk); teoría de tipos (es); 형 이론 (ko); Типтер теориясы (kk); نظرية النمط (ar); Teorie typů (cs); теорија на типовите (mk) teorie (cs); formales System (de) Teoria de tipos (es); タイプ理論, 階型理論 (ja); Theorie des types (fr); Typtheorie (de); tip-teorio, tipa teorio, tipteorio, tipoteorio (eo); نمط (ar); 型別理論, 类型理论, 逻辑类型 (zh); تئوری نوع ها, نظریه انواع, تئوری انواع, نظریه نوع ها, نظریهٔ نوع ها (fa)

Subcategories

This category has the following 3 subcategories, out of 3 total.

A

H

T