Type Reconstruction in F ! is undecidable (1993)

by P Urzyczyn
Venue:In Int'l Conf. Typed Lambda Calculus and its Applications, volume 664 of LNCS