Typeability and type checking in Second W order -calculus are equal and undecidable (1994)

by J Wells
Venue:In Proceedings of the ninth Annual IEEE Symposium on Logic in Computer Science