Jump to : Keyword | Contact | BibTex reference | EndNote reference |

tiur95

Jerzy Tiuryn, Pawel Urzyczyn. The Subtyping Problem for Second-Order Types is Undecidable. Research Report Institute of Informatics, Warsaw University, No 95, December 1995.

Keyword

[ Parametricity ]

Contact

J. Tiuryn
P. Urzyczyn

BibTex Reference

@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}
}

EndNote Reference [help]

Get EndNote Reference (.ref)