kind (Q6410497)
type of types in a type system
- type
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | kind |
type of types in a type system |
|
Statements
Identifiers
Sitelinks
Wikipedia(6 entries)
- cswiki Druh (teorie typů)
- enwiki Kind (type theory)
- jawiki カインド (型理論)
- kowiki 종 (유형 이론)
- plwiki Rodzaj (teoria typów)
- ruwiki Род (теория типов)