Typability and Type Checking in the Second-Order lambda-Calculus Are Equivalent and Undecidable (1996)

by J. B. Wells
Venue:In Proceedings of the Ninth Annual IEEE Symposium on Logic in Computer Science (LICS
Citations:12 - 1 self