No label defined (Q4501164)
From MaRDI portal
scientific article; zbMATH DE number 1499110
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 1499110 |
Statements
3 September 2000
0 references
cube of type assignment systems
0 references
typed lambda-cube
0 references