tiuryn92

J. Tiuryn. Subtype Inequalities. In Proc. 7th Annual IEEE Symp. on Logic in Computer Science (LICS), Santa Cruz, California, Pages 308-315, June 1992.

Keyword

[ Parametricity ]

Contact

J. Tiuryn

BibTex Reference

@InProceedings{tiuryn92,
   Author = {Tiuryn, J.},
   Title = {Subtype Inequalities},
   BookTitle = {Proc. 7th Annual IEEE Symp. on Logic in Computer Science (LICS), Santa Cruz, California},
   Pages = {308--315},
   Publisher = {IEEE Computer Society Press},
   Month = {June},
   Year = {1992}
}

EndNote Reference [help]

Get EndNote Reference (.ref)