Emms, M. An Undecidability Result for Polymorphic Lambek Calculus. Proceedings of the AC 1995, 223-242. https://doi.org/10.53437/7j53hk45.