Emms, M. 1995. An Undecidability Result for Polymorphic Lambek Calculus. Proceedings of the Amsterdam Colloquium. (Dec. 1995), 223–242.