le89c

H. Lei\ss. Polymorphic Recursion and Semi-Unification (Extended Abstract). In Proc. 3rd Conf. Computer Science Logic, Karlsruhe, West Germany, October 1989.

Keyword

[ Parametricity ]

Contact

Hans Lei\ss

BibTex Reference

@InProceedings{le89c,
   Author = {Lei\ss, H.},
   Title = {Polymorphic Recursion and Semi-Unification (Extended Abstract)},
   BookTitle = {Proc. 3rd Conf. Computer Science Logic},
   Address = {Karlsruhe, West Germany},
   Month = {October},
   Year = {1989}
}

EndNote Reference [help]

Get EndNote Reference (.ref)