Type inhabitation (Q7860906)
Jump to navigation
Jump to search
No description defined
Language | Label | Description | Also known as |
---|---|---|---|
English | Type inhabitation |
No description defined |
Statements
Identifiers
Sitelinks
Wikipedia(3 entries)
- enwiki Type inhabitation
- jawiki 住性 (型理論)
- zhwiki 类型居留问题