voda88

P. Voda. Types of Trilogy. In Proc. Int'l Conf. on Logic Programming, Pages 580-589, Seattle, Washington, August 1988.

Keyword

[ Parametricity ]

Contact

P. Voda

BibTex Reference

@InProceedings{voda88,
   Author = {Voda, P.},
   Title = {Types of Trilogy},
   BookTitle = {Proc. Int'l Conf. on Logic Programming},
   Pages = {580--589},
   Address = {Seattle, Washington},
   Month = {August},
   Year = {1988}
}

EndNote Reference [help]

Get EndNote Reference (.ref)