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