Typability andtype checking in System F are equivalent and undecidable (0)

by J B Wells
Venue:Ann. Pure & Appl. Logic