Emms, M. (1995). An Undecidability Result for Polymorphic Lambek Calculus. Proceedings of the Amsterdam Colloquium, 223-242. https://platform.openjournals.nl/PAC/article/view/24631