empty type (Q115801140)
Jump to navigation
Jump to search
in type theory, a type with no terms
Language | Label | Description | Also known as |
---|---|---|---|
English | empty type |
in type theory, a type with no terms |
Statements
Sitelinks
Wikipedia(3 entries)
- enwiki Empty type
- etwiki Tühi tüüp
- ukwiki Порожній тип