The Duality of Classical Intersection and Union Types (Q5212033)
From MaRDI portal
scientific article; zbMATH DE number 7157391
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The Duality of Classical Intersection and Union Types |
scientific article; zbMATH DE number 7157391 |
Statements
The Duality of Classical Intersection and Union Types (English)
0 references
24 January 2020
0 references
intersection types
0 references
union types
0 references
duality
0 references
sequent calculus
0 references
discipline
0 references
type safety
0 references
strong normalization
0 references
soundness and completeness
0 references
reducibility candidates
0 references
symmetric candidates
0 references
