Deciding type equivalence in a language with singleton kinds (Q5178854)
From MaRDI portal
scientific article; zbMATH DE number 6416210
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Deciding type equivalence in a language with singleton kinds |
scientific article; zbMATH DE number 6416210 |
Statements
Deciding type equivalence in a language with singleton kinds (English)
0 references
17 March 2015
0 references
