Typability and type checking in System-F are equivalent and undecidable (1999)

by J Wells
Venue:Ann. Pure Appl. Logic