Emms, Martin. “An Undecidability Result for Polymorphic Lambek Calculus”. Proceedings of the Amsterdam Colloquium, Dec. 1995, pp. 223-42, https://doi.org/10.53437/7j53hk45.