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