165
click to vote
TLCA
2009
Springer
16 years 11 days ago
2009
Springer
The straightforward elimination of union types is known to break subject reduction, and for some extensions of the lambda-calculus, to break strong normalization as well. Similarly...