pierce92

B. Pierce. Bounded Quantification is Undecidable. In Proc. POPL '92, Pages 305-315, January 1992.

Keyword

[ Parametricity ]

Contact

B.C. Pierce

BibTex Reference

@InProceedings{pierce92,
   Author = {Pierce, B.},
   Title = {Bounded Quantification is Undecidable},
   BookTitle = {Proc. POPL '92},
   Pages = {305--315},
   Publisher = {ACM Press},
   Month = {January},
   Year = {1992}
}

EndNote Reference [help]

Get EndNote Reference (.ref)