![](/img/cover-not-exists.png)
The Subtyping Problem for Second-Order Types Is Undecidable
Jerzy Tiuryn, Paweł UrzyczynVolume:
179
Year:
2002
Language:
english
Pages:
18
DOI:
10.1006/inco.2001.2950
File:
PDF, 154 KB
english, 2002