Intersection Types with Subtyping by Means of Cut Elimination (Q4903719)
From MaRDI portal
scientific article; zbMATH DE number 6128571
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Intersection Types with Subtyping by Means of Cut Elimination |
scientific article; zbMATH DE number 6128571 |
Statements
Intersection Types with Subtyping by Means of Cut Elimination (English)
0 references
24 January 2013
0 references
