Jerzy Tiuryn, Pawel Urzyczyn. The Subtyping Problem for Second-Order Types is Undecidable. Research Report Institute of Informatics, Warsaw University, No 95, December 1995.
[ Parametricity ]
@TechReport{tiur95,
Author = {Tiuryn, Jerzy and Urzyczyn, Pawel},
Title = {The Subtyping Problem for Second-Order Types is Undecidable},
Number = {95},
Institution = {Institute of Informatics, Warsaw University},
Month = {December},
Year = {1995}
}
Get EndNote Reference (.ref)