Proceedings Fifth Workshop on Intersection Types and Related Systems (Q4968487)
From MaRDI portal
scientific article; zbMATH DE number 7080556
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Proceedings Fifth Workshop on Intersection Types and Related Systems |
scientific article; zbMATH DE number 7080556 |
Statements
12 July 2019
0 references
Proceedings Fifth Workshop on Intersection Types and Related Systems (English)
0 references
