The Undecidability of Typability (1993)

by G Dowek
Venue:in the Lambda-Pi-Calculus, Proc. Typed Lambda Calculi and Applications, LNCS 664