type theory (Q1056428)
concept in mathematical logic and computer science
- theory of types
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | type theory |
concept in mathematical logic and computer science |
|
Statements
Identifiers
1 reference
26 January 2022
25 January 2022
Sitelinks
Wikipedia(25 entries)
- arwiki نظرية النمط
- azwiki Tiplər nəzəriyyəsi
- cswiki Teorie typů
- dewiki Typentheorie
- elwiki Θεωρία τύπων
- enwiki Type theory
- eowiki Teorio de tipoj
- eswiki Teoría de tipos
- etwiki Tüübiteooria
- fawiki نظریه نوعها
- frwiki Théorie des types
- hewiki תורת הטיפוסים
- itwiki Teoria dei tipi
- jawiki 型理論
- kkwiki Типтер теориясы
- kowiki 유형 이론
- nlwiki Typetheorie
- nowiki Typeteori
- plwiki Teoria typów
- ptwiki Teoria dos tipos
- ruwiki Теория типов
- ukwiki Теорія типів
- viwiki Lý thuyết hình thái
- zh_yuewiki 類型論
- zhwiki 类型论