container (Q5164884)
Jump to navigation
Jump to search
abstractions in type theory
Language | Label | Description | Also known as |
---|---|---|---|
English | container |
abstractions in type theory |
Statements
Identifiers
1 reference
Sitelinks
Wikipedia(1 entry)
- enwiki Container (type theory)