An Undecidability Result for Polymorphic Lambek Calculus - Emms, Martin (Proceedings of the Amsterdam Colloquium, 1995)
-