Emms, Martin. 1995. “An Undecidability Result for Polymorphic Lambek Calculus”. Proceedings of the Amsterdam Colloquium, December, 223-42. https://platform.openjournals.nl/PAC/article/view/24631.