Typability and Type Checking in the Second-Order - Calculus Are Equivalent and Undecidable. submitted to APAP (1996)

by Joe Wells
Venue:in the proceedings of the IEEE Symposium on Logic in Computer Science