@article{Wells1999111,
    Author = {Wells, J.B.},
    File = {Typability and type checking in System F are equivalent and undecidable - Wells (0) (0) - a - a - o.pdf},
    ISSN = {0168-0072},
    Journal = {Annals of Pure and Applied Logic},
    Keywords = {polymorphic types},
    Number = {1--3},
    Pages = {111 - 156},
    Title = {Typability and type checking in System F are equivalent and undecidable},
    URL = {http://www.sciencedirect.com/science/article/pii/S0168007298000475},
    Volume = {98},
    Year = {1999},
    bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S0168007298000475},
    bdsk-url-2 = {http://dx.doi.org/10.1016/S0168-0072(98)00047-5},
    date-added = {2013-07-04 10:27:53 +0000},
    date-modified = {2013-07-04 10:30:43 +0000},
    file-2 = {Typability and type checking in System F are equivalent and undecidable - Wells (1) (0) - a - a - o.pdf},
    doi = {10.1016/S0168-0072(98)00047-5}
}

@article{Wells1999111, Author = {Wells, J.B.}, File = {Typability and type checking in System F are equivalent and undecidable - Wells (0) (0) - a - a - o.pdf}, ISSN = {0168-0072}, Journal = {Annals of Pure and Applied Logic}, Keywords = {polymorphic types}, Number = {1--3}, Pages = {111 - 156}, Title = {Typability and type checking in System F are equivalent and undecidable}, URL = {http://www.sciencedirect.com/science/article/pii/S0168007298000475}, Volume = {98}, Year = {1999}, bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S0168007298000475}, bdsk-url-2 = {http://dx.doi.org/10.1016/S0168-0072(98)00047-5}, date-added = {2013-07-04 10:27:53 +0000}, date-modified = {2013-07-04 10:30:43 +0000}, file-2 = {Typability and type checking in System F are equivalent and undecidable - Wells (1) (0) - a - a - o.pdf}, doi = {10.1016/S0168-0072(98)00047-5} }