kind (Q6410497)
Jump to navigation
Jump to search
type of types in a type system
- type
Language | Label | Description | Also known as |
---|---|---|---|
English | kind |
type of types in a type system |
|
Statements
Identifiers
Sitelinks
Wikipedia(5 entries)
- cswiki Druh (teorie typů)
- enwiki Kind (type theory)
- jawiki カインド (型理論)
- kowiki 종 (유형 이론)
- ruwiki Род (теория типов)