Typability and Type Checking in System F Are Equivalent and Undecidable (1998)

by J. B. Wells
Venue:Annals of Pure and Applied Logic