pierce91

B. Pierce. Bounded Quantification is Undecidable. Research Report Carnegie Mellon University, No 0, July 1991.

Keyword

[ Parametricity ]

Contact

B.C. Pierce

BibTex Reference

@TechReport{pierce91,
   Author = {Pierce, B.},
   Title = {Bounded Quantification is Undecidable},
   Number = {0},
   Institution = {Carnegie Mellon University},
   Month = {July},
   Year = {1991}
}

EndNote Reference [help]

Get EndNote Reference (.ref)